Generate a reg property (ARM)
#include <qvm/firmware.h>
void gfdt_update_reg(int parent, int node, ...)
The address ranges list is composed of pairs of addresses followed by length. The addresses are uint64_t values; the lengths are unsigned values. The length values are in bytes. These address-length pairs specify the register ranges of the device described by node.