Comment by markng

(that said, I am currently downloading this image, and I've had problems running x86-64 stuff in docker sometimes)