Updated host/tools_support.c, changing from page_cache_release() to put_page().

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

#!/bin/sh

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