Don't use the in_interrupt() fix in __vx_check()