Updated host/linvcons.c to use new timer API introduced in Linux 4.14.0.

[xeon-phi-kernel-module] / mic.modules

#!/bin/sh

if [ ! -d /sys/class/mic ]; then
	exec /sbin/modprobe mic >/dev/null 2>&1
fi