Re: [OpenBIOS] BIOS extensions are pointless (was: More comments...)