Updated host/tools_support.c, changing from page_cache_release() to put_page().
[xeon-phi-kernel-module] / mpssboot / Kbuild
obj-m := mpssboot.o