diff --git a/src/kernel/core/arch/x86/arch_vm.c b/src/kernel/core/arch/x86/arch_vm.c
index d72eb0a47f..0be3257dfe 100755
--- a/src/kernel/core/arch/x86/arch_vm.c
+++ b/src/kernel/core/arch/x86/arch_vm.c
@@ -39,9 +39,6 @@ arch_vm_init2(kernel_args *ka)
 {
 	TRACE(("arch_vm_init2: entry\n"));
 
-	// account for BIOS area and mark the pages unusable
-	vm_mark_page_range_inuse(0xa0000 / PAGE_SIZE, (0x100000 - 0xa0000) / PAGE_SIZE);
-
 	// account for DMA area and mark the pages unusable
 	vm_mark_page_range_inuse(0x0, 0xa0000 / PAGE_SIZE);