CI: add Kernel compile tests