Linux Kernel for Galmido BaseOS