version=4.4
source=(\
http://www.kernel.org/pub/linux/kernel/v4.x/linux-$version.tar.xz)
derle()
{
cd linux-$version
make mrproper
make headers_check
make INSTALL_HDR_PATH=dest headers_install
cp -rv dest/include/* /tools/include
}