[fedora-arm] Freescale boot kernel