A Linux kernel for Intel Galileo Gen1 tracking Linux stable