[master 7/16] edd: add EddEntry.bios_device_number