Infineon smart card and reader drivers