HP Tc4400 - Compaq Tablet PC Reference Manual page 18

Disabling smart card BIOS security mode
When disabling smart card BIOS security mode, the smart card
administrator and user passwords are disabled, and the use of the
smart card is no longer needed to access the computer.
If smart card BIOS security mode has previously been enabled,
the button on the "Smart Card Security BIOS" page changes to
Disable.
To disable smart card security:
1. Select Start > All Programs > HP ProtectTools Security
Manager.
2. In the left pane, select Smart Card Security, and then
select BIOS.
3. In the right pane, under BIOS Security Mode, click Disable.
4. Insert the card containing the current smart card administrator
password, and then click Next.
5. Enter the smart card PIN at the prompt and click Finish.
Reference Guide
Smart Card Security for ProtectTools
2–5