Hi, I filed an updated version of the patch as a merge request:
https://salsa.debian.org/waldi/ipxe/merge_requests/1The one additionally saves the default entry, so that the GRUB iPXE entry is consistent with all the other entries. It was a 2-line diff upon the previous one, in the same spot, so I thought I'd include that too.
