Freescale ARM with latest linux kernel