Computing with Trusted Platform Module (TPM), USB Power Delivery priced £3,400 or more