Reading NFC Passport Chips in Linux