Hardening OP-TEE kernel and trustlets with sanitizers