Re: [OpenBIOS] User-extentions (was Re: More comments and a proposal...)