Re: [coreboot] C720 swapparoo