struct efi_setup_data *esd = (void *)sd + sizeof(struct setup_data);
 
        esd->fw_vendor = efi.fw_vendor;
-       esd->runtime = efi.runtime;
        esd->tables = efi.config_table;
        esd->smbios = efi.smbios;
 
 
                         systab64->con_out              > U32_MAX ||
                         systab64->stderr_handle        > U32_MAX ||
                         systab64->stderr               > U32_MAX ||
+                        systab64->runtime              > U32_MAX ||
                         systab64->boottime             > U32_MAX;
 
                if (efi_setup) {
                        }
 
                        efi_systab.fw_vendor    = (unsigned long)data->fw_vendor;
-                       efi_systab.runtime      = (void *)(unsigned long)data->runtime;
                        efi_systab.tables       = (unsigned long)data->tables;
 
                        over4g |= data->fw_vendor       > U32_MAX ||
-                                 data->runtime         > U32_MAX ||
                                  data->tables          > U32_MAX;
 
                        early_memunmap(data, sizeof(*data));
                } else {
                        over4g |= systab64->fw_vendor   > U32_MAX ||
-                                 systab64->runtime     > U32_MAX ||
                                  systab64->tables      > U32_MAX;
                }
        } else {