thermosphere: fix guest access to irq 25, etc; we don't need to raise VI manually

See Armv8a TRM "Virtual IRQ exception"

thermosphere/src/irq.c

@@ -15,7 +15,6 @@
  */
 
 #include "irq.h"
-#include "platform/interrupt_config.h"
 #include "core_ctx.h"
 #include "debug_log.h"
 #include "vgic.h"
@@ -134,11 +133,6 @@ void initIrq(void)
     recursiveSpinlockUnlockRestoreIrq(&g_irqManager.lock, flags);
 }
 
-bool isGuestIrq(u16 id)
-{
-    return true;
-}
-
 void handleIrqException(ExceptionStackFrame *frame, bool isLowerEl, bool isA32)
 {
     (void)isLowerEl;
@@ -178,6 +172,8 @@ void handleIrqException(ExceptionStackFrame *frame, bool isLowerEl, bool isA32)
     // Priority drop
     gicc->eoir = iar;
 
+    isGuestInterrupt = isGuestInterrupt && irqIsGuest(irqId);
+
     recursiveSpinlockLock(&g_irqManager.lock);
 
     if (!isGuestInterrupt) {