handle EFI GRUB config paths when setting grubport

Also split the grubport handling into its own snippet and documented it.

Bug: 1108498
Change-Id: Ic9f365fa991594f56ae5c11babb472ceff8c2fe3