Set a property value (ARM)
#include <qvm/firmware.h>
void gfdt_update_property(int node, const char *propname, const void *valp, size_t vall)
If the property isn't already present, this function sets the given property in the given FDT node to the given value.