Re: [coreboot] [PATCH] Add options to disable SMP