[LinuxBIOS] #83: grub2 needs to generate its memory map from LinuxBIOS