Merge pull request #5273 from martin-frbg/issue5259 #1433

Job	Run time
TEST (DYNAMIC_ARCH=1, TARGET=RISCV64_GENERIC BINARY=64 ARCH=riscv64 DYNAMIC_ARCH=1, rv64,g=true,c...	5m 56s
TEST (RISCV64_ZVL256B, TARGET=RISCV64_ZVL256B BINARY=64 ARCH=riscv64, rv64,g=true,c=true,v=true,v...	5m 49s
TEST (RISCV64_ZVL128B, TARGET=RISCV64_ZVL128B BINARY=64 ARCH=riscv64, rv64,g=true,c=true,v=true,v...	5m 45s
	17m 30s

Provide feedback