[master 10/24] edd: add EddEntry.bios_device_number