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 04ba11055f3c5e7ffc8b2c766192632e2731b66f)
@@ -165,5 +165,4 @@
  */
 FUNCTION_BEGIN(map_kernel_pse)
-map_kernel_pse:
 	/* Paging features */
 	movl %cr4, %ecx