markers: break the redundant loop in kernel/marker.c