A few ROM boot loader fixes