fdt: Allow non-FDT kernels to boot when CONFIG_OF_LIBFDT is defined