I'm trying to find out what is the Arch mainline kernel. In https://wiki.archlinux.org/index.php/Kernel_Compilation#Compilation it is said that it is the vanilla kernel plus 3 patches. Which patches? The link is broken. (And is this the proper place to report it?) TIA Jorge Almeida