ARMv7: Made some improvements to usbboot.

Customised a bit for Barrelfish now, and supports loading from an ELF without
specifying an explicit base address. The existing code was also chopping the
last few hundred bytes off of every image it loaded.

Signed-off-by: David Cock <david.cock@inf.ethz.ch>