Basic (but untested) ARM booting work done