Open source secure boot code for Freescale ARM and PPC processors