I notice with this mornings yum update that there is a new kernel ' 3.1.8-2.fc16 PAE' but there are no kernel headers included in the update.Is it safe to reboot with this kernel without them? Thanks david