[Peter: use tarball for Linux kernel, use 4.4 kernel headers] Signed-off-by: Eelco Chaudron <echaudron@xiot.nl> Signed-off-by: Peter Korsgaard <peter@korsgaard.com>