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