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

[H. Peter Anvin]

Jeffrey Hutzelman wrote:
> 
> Yes, that's the one.  Note that while the issue was introduced in A11 and 
> Dell said the issue _would be_ fixed in A12, no such version was ever 
> released.  We're a little behind, but not much -- the problem occurs with 
> 3.53, and as I mentioned, also with the memdisk in that version.  At some 
> point I'll try something newer, but that requires forward-porting a patch I 
> have yet to send you, and I haven't found the time to look at it.
> 

The implication was, though, that downgrading to A10 should work as 
well.  Don't know what other issues that would introduce, though.

It would be nice to figure out a workaround, but it's almost impossible 
without access to a specimen.

	-hpa