hw/arm/highbank: Use AddressSpace when using write_secondary_boot()