[RV64] Allowed disabling more extensions (#1904) #4242

Job	Run time
build (X64, Release, ubuntu-latest)	2m 3s
build (X64, Trace, ubuntu-latest)	2m 27s
build (X64, Box32, ubuntu-latest)	1m 43s
build (RISCV, Release, ubuntu-latest)	6m 45s
build (RISCV, Trace, ubuntu-latest)	6m 48s
build (RISCV, StaticBuild, ubuntu-latest)	4m 35s
build (RISCV, Box32, ubuntu-latest)	6m 23s
build (RK3588, Release, ubuntu-latest)	5m 50s
build (RK3588, Trace, ubuntu-latest)	5m 33s
build (RK3588, StaticBuild, ubuntu-latest)	4m 1s
build (RK3588, Box32, ubuntu-latest)	5m 28s
build (ARM64, Release, ubuntu-latest)	5m 25s
build (ARM64, Trace, ubuntu-latest)	5m 56s
build (ARM64, StaticBuild, ubuntu-latest)	3m 47s
build (ARM64, Box32, ubuntu-latest)	6m 5s
build (ANDROID, Release, ubuntu-latest)	2m 10s
build (ANDROID, Trace, ubuntu-latest)	2m 18s
build (TERMUX, Release, ubuntu-latest)	2m 27s
build (TERMUX, Trace, ubuntu-latest)	2m 30s
build (LARCH64, Release, ubuntu-latest)	3m 31s
build (LARCH64, Trace, ubuntu-latest)	3m 51s
build (LARCH64, StaticBuild, ubuntu-latest)	2m 22s
build (LARCH64, Box32, ubuntu-latest)	3m 39s
	1h 35m 37s

Provide feedback