Index: kernel/arch/ia32/src/mm/frame.c
===================================================================
--- kernel/arch/ia32/src/mm/frame.c	(revision b2e121ad525328882607c97cdba1a9ded6137d13)
+++ kernel/arch/ia32/src/mm/frame.c	(revision db3c88347157ed2aeffe98179283d9e4e0243edd)
@@ -54,9 +54,9 @@
 {
 	unsigned int i;
-	
+
 	for (i = 0; i < e820counter; i++) {
 		uint64_t base64 = e820table[i].base_address;
 		uint64_t size64 = e820table[i].size;
-		
+
 #ifdef KARCH_ia32
 		/*
@@ -65,15 +65,15 @@
 		if (base64 >= PHYSMEM_LIMIT32)
 			continue;
-		
+
 		if (base64 + size64 > PHYSMEM_LIMIT32)
 			size64 = PHYSMEM_LIMIT32 - base64;
 #endif
-		
+
 		uintptr_t base = (uintptr_t) base64;
 		size_t size = (size_t) size64;
-		
+
 		if (!frame_adjust_zone_bounds(low, &base, &size))
 			continue;
-		
+
 		if (e820table[i].type == MEMMAP_MEMORY_AVAILABLE) {
 			/* To be safe, make the available zone possibly smaller */
@@ -81,9 +81,9 @@
 			uint64_t new_size = ALIGN_DOWN(size - (new_base - base),
 			    FRAME_SIZE);
-			
+
 			size_t count = SIZE2FRAMES(new_size);
 			pfn_t pfn = ADDR2PFN(new_base);
 			pfn_t conf;
-			
+
 			if (low) {
 				if ((minconf < pfn) || (minconf >= pfn + count))
@@ -105,5 +105,5 @@
 			uint64_t new_size = ALIGN_UP(size + (base - new_base),
 			    FRAME_SIZE);
-			
+
 			zone_create(ADDR2PFN(new_base), SIZE2FRAMES(new_size), 0,
 			    ZONE_FIRMWARE);
@@ -113,5 +113,5 @@
 			uint64_t new_size = ALIGN_UP(size + (base - new_base),
 			    FRAME_SIZE);
-			
+
 			zone_create(ADDR2PFN(new_base), SIZE2FRAMES(new_size), 0,
 			    ZONE_RESERVED);
@@ -133,13 +133,13 @@
 	unsigned int i;
 	printf("[base            ] [size            ] [name   ]\n");
-	
+
 	for (i = 0; i < e820counter; i++) {
 		const char *name;
-		
+
 		if (e820table[i].type <= MEMMAP_MEMORY_UNUSABLE)
 			name = e820names[e820table[i].type];
 		else
 			name = "invalid";
-		
+
 		printf("%#018" PRIx64 " %#018" PRIx64" %s\n", e820table[i].base_address,
 		    e820table[i].size, name);
@@ -150,8 +150,8 @@
 {
 	pfn_t minconf;
-	
+
 	if (config.cpu_active == 1) {
 		minconf = 1;
-		
+
 #ifdef CONFIG_SMP
 		minconf = max(minconf,
@@ -159,10 +159,10 @@
 		    hardcoded_unmapped_kdata_size));
 #endif
-		
+
 		init_e820_memory(minconf, true);
-		
+
 		/* Reserve frame 0 (BIOS data) */
 		frame_mark_unavailable(0, 1);
-		
+
 #ifdef CONFIG_SMP
 		/* Reserve AP real mode bootstrap memory */
Index: kernel/arch/ia32/src/mm/page.c
===================================================================
--- kernel/arch/ia32/src/mm/page.c	(revision b2e121ad525328882607c97cdba1a9ded6137d13)
+++ kernel/arch/ia32/src/mm/page.c	(revision db3c88347157ed2aeffe98179283d9e4e0243edd)
@@ -54,5 +54,5 @@
 	uintptr_t cur;
 	int flags;
-	
+
 	if (config.cpu_active > 1) {
 		/* Fast path for non-boot CPUs */
@@ -63,5 +63,5 @@
 
 	page_mapping_operations = &pt_mapping_operations;
-	
+
 	/*
 	 * PA2KA(identity) mapping for all low-memory frames.
@@ -74,8 +74,8 @@
 	}
 	page_table_unlock(AS_KERNEL, true);
-		
+
 	exc_register(VECTOR_PF, "page_fault", true, (iroutine_t) page_fault);
 	write_cr3((uintptr_t) AS_KERNEL->genarch.page_table);
-	
+
 	paging_on();
 }
@@ -85,15 +85,15 @@
 	uintptr_t badvaddr;
 	pf_access_t access;
-	
+
 	badvaddr = read_cr2();
-		
+
 	if (istate->error_word & PFERR_CODE_RSVD)
 		panic("Reserved bit set in page directory.");
-	
+
 	if (istate->error_word & PFERR_CODE_RW)
 		access = PF_ACCESS_WRITE;
 	else
 		access = PF_ACCESS_READ;
-	
+
 	(void) as_page_fault(badvaddr, access, istate);
 }