Use grubby instead of grub2-set-default to set the kernel by it's path. ...

...Fixes #557