Kontrol does not `kup install` in system aarch64-linux

[spencerhaoxiao]

The problem: Kontrol and evm-semantics repo rely on the nix package 'https://github.com/hellwolf/solc.nix'. Which does not support this architecture https://github.com/hellwolf/solc.nix/blob/fbbe5553a7fc52f2d423afac81316023a183e72c/mk-solc-static.nix#L22. This is due to its upstream dependency solc does not support the system aarch64-linux for now.

Wait and check upstream support, maybe 0.8.23 shall support this according to the milestone plan