[PATCH 4/5] x86/sev-es: Correctly track IRQ states in runtime #VC handler