Replacement for CONFIG_DEBUG_IOVIRT?