Update notes for submitted changes

* handle EFI GRUB config paths when setting grubport