Same here. I have setup:

GRUB_DEFAULT=2

(and run "update-grub" afterwards) to boot a non PAE kernel but whatever 
entry is selected it always boots with the first one.

-- 
Camaleón 

Reply via email to