correct arguments, set microwatt_mmu=True, pass in ROM correctly