efi_fdt_pointer
void __init *efi_fdt_pointer(void);
fdt_pointer = efi_fdt_pointer(); /* Fallback to firmware dtb */