[Bug 223662] driver for via vt8251 does not work