pub(crate) fn puk_salt(chip_serial: &[u8; 9]) -> [u8; 32]
Compute the PUK salt deterministically from the chip serial number.