channels/smartcard: more 64-bit fixes