>The ARM specification mandates that cores in WFI loops should preserve all state. This is not the default mode on Apple Silicon.

I sometimes do wonder at what point do ARM find and test these stuff and ask Apple to follow. Obviously this is not the first time we see such thing happens.