Re: [coreboot] [PATCH] [v2] add returning to SIPI WAIT for MP systems