Re: [PATCH 11/13] kernel: Enable support for TPM hardware