We might have to rework this kernel module.
@@ -2,3 +2,4 @@ bottomhalf
bh_threaded
intrpt
vkbd
+syscall-steal
Jim Huang