I recently got a new computer, a lenovo 10e chromebook. Unfortunately neither the linux-amd64 nor the linux-raspberrypi downloads work on it. (bash says file not found). I assume it’s because this is aarch64/arm64 not armhf. Is there a way to get it to work, or to get a aarch64 download?