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