RE: Freescale boot kernel