RE: Build issues on Freescale P4080