Easier than messing with grub2 new commands...
also, if you want a quick and easy way to switch kernels for testing:
https://help.ubuntu.com/community/StartUpManager
_______________________________________________
Pd-list@iem.at mailing list
UNSUBSCRIBE and account-management -> http://lists.puredata.info/listinfo/pd-list