1 files changed, 2 insertions, 5 deletions

diff --git a/arch/x86/kernel/setup_32.c b/arch/x86/kernel/setup_32.c
index 14e293edd23f..fd639d9f79b6 100644
--- a/arch/x86/kernel/setup_32.c
+++ b/arch/x86/kernel/setup_32.c
@@ -64,6 +64,7 @@
 #include <setup_arch.h>
 #include <bios_ebda.h>
 #include <asm/cacheflush.h>
+#include <asm/processor.h>
 
 /* This value is set up by the early boot code to point to the value
    immediately after the boot time page tables.  It contains a *physical*
@@ -408,12 +409,8 @@ static void __init reserve_ebda_region(void)
         /* that area is absent. We'll just have to assume */
         /* that the paravirt case can handle memory setup */
         /* correctly, without our help. */
-#ifdef CONFIG_PARAVIRT
-        if ((boot_params.hdr.version >= 0x207) &&
-                        (boot_params.hdr.hardware_subarch != 0)) {
+        if (paravirt_enabled())
                 return;
-        }
-#endif
 
         /* end of low (conventional) memory */
         lowmem = *(unsigned short *)__va(BIOS_LOWMEM_KILOBYTES);