arm64: cpufeature.h: add missing #include of kernel.h