trustzone.c: quick fixup