Hello,
Hashing the card numbers doesn't help with security, and makes card issuance and management harder.
With standard Wiegand cards (for example), there's generally a 26 bit ID. 8 bits are for the facility code (shared with the cards at the facility), the card number is 16 bits, and there are two parity bits.
Even if we assume that the whole 24 bits are for the card ID, we're still talking 16,777,216 possibilities total. Running a benchmark on the laptop I'm currently using with 1000 iterations, I get over 440kHash/s:
Hashmode: 12100 - PBKDF2-HMAC-SHA512 (Iterations: 999)
Speed.#2.........: 444.3 kH/s (85.72ms) @ Accel:4 Loops:249 Thr:1024 Vec:1
In other words, on this laptop, an exhaustive search of the keyspace should take around 380 seconds. Throw a decent GPU at it, and that number goes well under a minute.
Higher security with PACS cards comes generally not from the uniqueness of the ID (which is designed to be random enough to be difficult to brute force), but from having keys in the reader and keys in the card. The goal is to make the card un-dumpable and un-cloneable, rather than making it un-guessable. Even if the ID is extracted from the control panel, it can't be written to a card, unless one extracts the reader master keys.