Currently, GDB looks for the presence of hardware loop registers in a target description to figure out if the target supports such thing.
The correct approach would be consulting the BCR register isa_config (the loop counter size field).
Same type of issue already exists for determining the CPU type here.