[Bug 467328] kernel-pae installed even if not needed