Re: [coreboot] coreboot + Linux = ?