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