grub.cfg: make menu friendlier hopefully
grub.cfg: no-op whitespace cleanup after 036f5a7