HPIAL_ADDR
boot_loader_write_mem32(pao, 0, HPIAL_ADDR, address);
boot_loader_write_mem32(pao, 0, HPIAL_ADDR,
HPIAL_ADDR);