The u-boot source from the Board Support Package (BSP).