If you can’t build your own kernel, store-bought is fine.