ts4800: add CONFIG_OF_LIBFDT