fdt_add_aplic
fdt_add_aplic(APLIC_MEM_BASE, APLIC_MEM_SIZE, guest_ncpus);
void fdt_add_aplic(uint64_t dist_base, uint64_t dist_size, int ncpu);