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