Update mkimage
Update mkimage

Pin build to x86 since it is broken on ARM. Required on for M1 users.
project-oak/rust-verification-tools,project-oak/rust-verification-tools,project-oak/rust-verification-tools,project-oak/rust-verification-tools