diff --git a/repos/ports/ports/seoul.hash b/repos/ports/ports/seoul.hash
index ac1ce76dd4..efc8fa2cd1 100644
--- a/repos/ports/ports/seoul.hash
+++ b/repos/ports/ports/seoul.hash
@@ -1 +1 @@
-66a1a29b0ee5e2407cb27b46fb515b0d1a0d951f
+dd8fd8837e8047c6261811c46047fc1003169b04
diff --git a/repos/ports/ports/seoul.port b/repos/ports/ports/seoul.port
index 256f2d1298..ed2777f844 100644
--- a/repos/ports/ports/seoul.port
+++ b/repos/ports/ports/seoul.port
@@ -4,7 +4,7 @@ DOWNLOADS := seoul.git
 
 URL(seoul) := https://github.com/alex-ab/seoul.git
 # branch PARAM
-REV(seoul) := de0192662cfeda6b6dfcdaaf667ba652c1c5b282
+REV(seoul) := e89e0eaa4712c372391e1eea72529613afbbe9a1
 DIR(seoul) := src/app/seoul
 
 #
diff --git a/repos/ports/src/app/seoul/component.cc b/repos/ports/src/app/seoul/component.cc
index f39f201176..237a4f0dcd 100644
--- a/repos/ports/src/app/seoul/component.cc
+++ b/repos/ports/src/app/seoul/component.cc
@@ -324,7 +324,8 @@ class Vcpu : public StaticReceiver<Vcpu>
 
 			switch (exit) {
 			case 0x00 ... 0x1f: /* _svm_cr */
-				mtd = MTD_RIP_LEN | MTD_CS_SS | MTD_GPR_ACDB | MTD_GPR_BSD | MTD_CR;
+				mtd = MTD_RIP_LEN | MTD_CS_SS | MTD_GPR_ACDB | MTD_GPR_BSD |
+				      MTD_CR | MTD_IRQ;
 				break;
 			case 0x72: /* _svm_cpuid */
 				mtd = MTD_RIP_LEN | MTD_GPR_ACDB | MTD_IRQ;