MAX_BOOT_PTS      272 arch/x86/kernel/vmi_32.c #define MAX_BOOT_PTS (2048+4+1)
MAX_BOOT_PTS      274 arch/x86/kernel/vmi_32.c #define MAX_BOOT_PTS (1024+1)