[coreboot] Re: Coreboot computer doesn't boot with 2 CPU