Index: kernel/arch/ia32/src/boot/multiboot.S
===================================================================
--- kernel/arch/ia32/src/boot/multiboot.S	(revision 9ef1fadef604b9c3871bb759de90bf613963a180)
+++ kernel/arch/ia32/src/boot/multiboot.S	(revision 33f86a3f832f902f56ec98dab6a41d9841df0947)
@@ -165,5 +165,4 @@
  */
 FUNCTION_BEGIN(map_kernel_pse)
-map_kernel_pse:
 	/* Paging features */
 	movl %cr4, %ecx