edd_device#

EfibootmgrController.edd_device: int#

EDD 1.0 device number, usually 0x80.