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