[LinuxBIOS] support for 3G memhole?