[CORE] vmm_vcpu_irq: add a specific spinlock for wfi.

Signed-off-by: Jean-Christophe DUBOIS <jcd@tribudubois.net>