set_single_reg
set_single_reg(fdt, vm_get_highmem_base(ctx), vm_get_highmem_size(ctx));
set_single_reg(fdt, uart_base, uart_size);
set_single_reg(fdt, rtc_base, rtc_size);
set_single_reg(fdt, 0xe0000000, 0x10000000);
set_single_reg(fdt, vm_get_highmem_base(ctx), vm_get_highmem_size(ctx));
set_single_reg(fdt, uart_base, uart_size);
set_single_reg(fdt, 0xe0000000, 0x10000000);