[CORE] vmm_vcpu_irq: Use lite version of spin lock APIs

To reduce overhead in vmm_vcpu_irq APIs we use spin lock
lite APIs.

Signed-off-by: Anup Patel <anup@brainfault.org>