fixes to misc instructions #27

Job	Run time
build (armhf, linux/arm/v7, debian:bookworm)	13m 47s
build (riscv64, linux/riscv64, debian:sid)	13m 38s
build (amd64, linux/amd64, debian:bookworm)	1m 11s
build (arm64, linux/arm64, debian:bookworm)	12m 56s
build (ppc64el, linux/ppc64le, debian:bookworm)	13m 33s
build (s390x, linux/s390x, debian:bookworm)	14m 58s
build (mips64el, linux/mips64le, debian:bookworm)	14m 32s
build (i386, linux/386, debian:bookworm)	1m 16s
build (armel, linux/arm/v6, debian:bookworm)	13m 51s
	1h 39m 42s

Provide feedback