fix problems found in testing

src/vxworks/aarch64.rs

src/vxworks/arm.rs

src/vxworks/armv7.rs

src/vxworks/powerpc.rs

src/vxworks/powerpc64.rs

src/vxworks/x86.rs

src/vxworks/x86_64.rs