Modern processors may need to drain the WB before WFI