Re: [coreboot] [PATCH] flush CPU queue when PE set 0