Generate an interrupt property (ARM)
#include <qvm/firmware.h>
int gfdt_update_interrupts(int node, ...)
This function generates an interrupt property for an FDT node.