temp switch to default kernel
temp set glibcMinKernelVersion to current kernel version