Making Fedora boot faster