disk: add get_efi_partition function

Add utility function inside disk.py to find, if any, the first ESP
partition of a given disk.

The disk is provided as an integer (starting at 1 following OpenGnsys
scripts usual values), meaning the (n-1)th disk from the disk array
returned from get_disks(). In the future a better mechanism should be
put in place to fetch probed disks from a running client.

This change is part of the upcoming drop of "IniciarSesion" script in
favor of a Python native approach. Specifically regarding UEFI systems.

0 files changed, 0 insertions, 0 deletions