We work around it but is the BIOS not the culprit in such cases? I am not saying that GNU won't load on these machines.
GNU will not load on *any* machine - you need a kernel for that
As a matter of fact, GNU *does* load, and I happen to use a couple of such machines.
Cheerio, Debarshi