EbbRT-baremetal port of libfdt