Booting Fiasco with U-Boot (or: what is 0x002000000?)