[coreboot] [PATCH] Add options to disable SMP