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