Comment by sigjuice

Yes. I have only tried Raspbian and I'm not used to getting RPi kernels from kernel.org