Re: [LinuxBIOS] support for 3G memhole?