pub const HW_DERIVED_KEY_LENGTH: usize = x86defs::snp::SNP_DERIVED_KEY_SIZE; // 32usize
Use the SNP-defined derived key size for now.