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