@Carlos: this problem with generic-pae kernel is a warning, the same one you reported against generic-pae kernel from Maverick on a previous update: bug 861550, in the update tracked at bug 854092
This warning isn't a regression then, seems to trigger with this specific Dell machine and generic-pae. I think same decision holds as last time, shouldn't prevent the update to go.
@Carlos: this problem with generic-pae kernel is a warning, the same one you reported against generic-pae kernel from Maverick on a previous update: bug 861550, in the update tracked at bug 854092
This warning isn't a regression then, seems to trigger with this specific Dell machine and generic-pae. I think same decision holds as last time, shouldn't prevent the update to go.