Symbol: BOOT_GDT_SEGMENT_COUNT