[syslinux] Conditional kernel selection based on CPUID/DMI info

[H. Peter Anvin]

Jeffrey Hutzelman wrote:
> 
> The second is bioschk.asm, which started out as a way to check for a 
> particularly annoying BIOS (Dell Optiplex GX620 version A11, on which 
> USB keyboard emulation breaks apparently on entering 32-bit protected 
> mode).
> I decided early that it should be configurable, and ended up writing a 
> scripting language complete with branching, limited user input, and the 
> ability to boot things.  I've attached just the source, but there's also 
> a test suite.
> 

I would be a lot happier putting this in C code (as a COM32 module), 
though.  I'm trying to reduce the size of the assembly core rather than 
have it grow.  I'd like to actually get rid of most of it over time.

	-hpa