This might also be useful for the Debian and Ubuntu folks: http://fedoraproject.org/wiki/How_to_create_and_use_Live_USB#Kernel_updates. It discusses the changes made at Fedora 17 and how to specify a boot image.
Unfortunately, I lack the necessary prerequisite knowledge to use it to fix these systems.
This might also be useful for the Debian and Ubuntu folks: http:// fedoraproject. org/wiki/ How_to_ create_ and_use_ Live_USB# Kernel_ updates. It discusses the changes made at Fedora 17 and how to specify a boot image.
Unfortunately, I lack the necessary prerequisite knowledge to use it to fix these systems.