roundoup

I know the thread is old but it is at the top of Google search, so it could help someone. apt install linux-u-boot-[device name]-dev fix the issue without reinstall.