HPIAH_ADDR
boot_loader_write_mem32(pao, 0, HPIAH_ADDR, address >> 16);
boot_loader_write_mem32(pao, 0, HPIAH_ADDR,
HPIAH_ADDR))