Re: Scale grub resolution on a HiDef screen (Fedora 23)?