CardOS: more debug messages in 'pin-cmd' handler