Re: [coreboot] SMP Linux on QEMU