* card.c (card_get_serial_and_stamp): Use the tokeinfo serial