RE: [OpenBIOS] User-extentions