kernel: enable memory mapped TPM interface on armsr