Disable TCM.

TCM needs to be disabled in the Linux kernel, as when we boot with
a secure world set up (and our secure world lives in the TCM), and
Linux tries to query the TCM, the processor raises an undefined
exception which Linux does not handle.