Re: [LinuxBIOS] bios addressing