On ARMv6, clrex is supported only on the K extension but it is always
available starting with ARMv7.
Signed-off-by: Catalin Marinas <catalin.marinas@arm.com>