BIOS_START_MIN     17 arch/x86/boot/compressed/pgtable_64.c #define BIOS_START_MIN		0x20000U	/* 128K, less than this is insane */
BIOS_START_MIN     53 arch/x86/kernel/ebda.c #define BIOS_START_MIN		0x20000U	/* 128K, less than this is insane */