Adrian Bunk <bunk <at> kernel.org> writes:
>
> Red Hat seems to get usable kernels with 4k for some years?

One way they do that is by marking significant parts of the kernel
unsupported. I don't think that's an option for mainline.

-Andi