Index: kernel/arch/ia32/src/boot/boot.S
===================================================================
--- kernel/arch/ia32/src/boot/boot.S	(revision eaf6cd60a4b964e9d1c8fbefc0d30d37d565a53d)
+++ kernel/arch/ia32/src/boot/boot.S	(revision 328f324bc169113023515c3003ef864c3c65b399)
@@ -71,5 +71,5 @@
  	cmp $0x0, %eax						# any function > 0?
 	jbe pse_unsupported
-	movl $0x1, %eax						# Basic function code 80000001
+	movl $0x1, %eax						# Basic function code 1
 	cpuid
 	bt $3, %edx							# Test if PSE is supported