device tree compiler and libfdt