@ -140,7 +140,7 @@ gdt_flat:
0x00, 0x00, \
0x00, \
10011011b, \
11000000b, \
11001111b, \
0x00
; 16-bit code segment, to use if we want to switch back to real mode.