Install kernel-kdump to avoid an error logged at boot time (FC5), or change start-up scripts?