K-series do not support neither TXT nor VT-d