RE: [fedora-arm] Freescale boot kernel