I know. But isn't one of linuxBIOS goal to have a stable, remote configurable bios for use in clusters? Wouldn't a vm (or hal if you will) be even more useful than a Basic Input Output System?
I don't do any clusters so I can't really speak much for thier needs but I think the linux kernel provides all the functionality they need and much more.
The big problem is keeping up with hardware support. It's hard enough as it is to keep up with just the functionality of the chipsets we try to support now.