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