[Bug 463448] New: kernel-default replaced by kernel-pae