--HG-- branch : dtrg-videocore
--HG-- branch : dtrg-videocore rename : plat/pc86/boot.s => plat/rpi/boot.s