Mark tlbLockCount as visible so it is not discarded
Mark tlbLockCount as visible so it is not discarded

This variable is referenced in assembler and needs to not get discarded
by the optimizer prior to linking.

cmr/seL4,zhicheng/seL4,zhicheng/seL4,zhicheng/seL4,cmr/seL4,cmr/seL4