Fedora-related stuff.

• New Fedora kernel
• Virtualization on Fedora
• Performance tuning on Fedora
• VMware Player on Fedora
• Jenkins on Fedora