efi: stub: get rid of efi_get_max_fdt_addr()