On 5/2/2012 10:57 AM, Tim Gardner wrote: > Any ideas on how we might allow PAE capable CPUs to upgrade? Is this the > job of update-manager ? It seems likely that Debian must have > encountered this issue before. With a Replaces: line in the control file of the new kernel?