BIOS_START_MAX     18 arch/x86/boot/compressed/pgtable_64.c #define BIOS_START_MAX		0x9f000U	/* 640K, absolute maximum */
BIOS_START_MAX     54 arch/x86/kernel/ebda.c #define BIOS_START_MAX		0x9f000U	/* 640K, absolute maximum */