[U-Boot] VCMA9 build fails: ARM board references PPC4xx header