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