Speedying up the boot for Fedora