Re: [arch-releng] [PATCH] Define grubmenu as a global variable instead of multiple local variables