Computing with Trusted Platform Module (TPM), USB Type-C Charging Port priced £3,200 or more