efi_serial_get_index
efi_serial_get_index(devpath, index);
if (port == efi_serial_get_index(devpath, index))