Re: [arch-dev-public] Kernel - vanilla vs patched?