7c3713d
Installing Koji kernel. Booting specific kernel by default. Added the following changes: - quickdoc for installing kernel from Koji - booting page and HowTo for booting a specific kernel by default