use the locations specified in the bcm2708_boot header