|
@@ -770,6 +770,9 @@ void __init setup_arch(char **cmdline_p)
|
|
|
|
|
|
finish_e820_parsing();
|
|
finish_e820_parsing();
|
|
|
|
|
|
|
|
+ if (efi_enabled)
|
|
|
|
+ efi_init();
|
|
|
|
+
|
|
dmi_scan_machine();
|
|
dmi_scan_machine();
|
|
|
|
|
|
dmi_check_system(bad_bios_dmi_table);
|
|
dmi_check_system(bad_bios_dmi_table);
|
|
@@ -789,8 +792,6 @@ void __init setup_arch(char **cmdline_p)
|
|
insert_resource(&iomem_resource, &data_resource);
|
|
insert_resource(&iomem_resource, &data_resource);
|
|
insert_resource(&iomem_resource, &bss_resource);
|
|
insert_resource(&iomem_resource, &bss_resource);
|
|
|
|
|
|
- if (efi_enabled)
|
|
|
|
- efi_init();
|
|
|
|
|
|
|
|
#ifdef CONFIG_X86_32
|
|
#ifdef CONFIG_X86_32
|
|
if (ppro_with_ram_bug()) {
|
|
if (ppro_with_ram_bug()) {
|