Hello, unfortunately neither Robert and me don't know how important this really is. On IRC we talked with Bean (one of upstream developers) Unfortunately he didn't reply yet to the report, as I suggested.
He discovered that Debian has efibootmgr [0] and wanted even to look if GRUB can include something of it. Junichi, is this package what you want? For me it looks like that grub-efi should just recommend/suggest that efibootmgr package. [0] http://packages.debian.org/en/sid/efibootmgr -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]