Re: [coreboot] #12: Make LinuxBIOS work on a laptop