It would be better to post to the grub-devel@gnu.org mailing list.

  -- Bruce


fekir1.618 wrote:
> Hi,
> as described here
> https://www.gnu.org/software/grub/manual/grub.html#Vendor-power_002don-keys
> 
> I wanted to contribute discovering the address for using the 
> GRUB_DEFAULT_BUTTON, so I've done what was writed on the manual page, 
> but I was not able to find any difference between the two files I attached.
> 
> I'm using an asus eeepc 1215n (hope this helps).
> 
> Excuse me if I'm writing to the wrong person, I did not know where to 
> ask, but saw that you where the maintainer of the webpage...
> 
> sincerely yours
> 
> Kikkas
>