chiark / gitweb /
x86-model: Make it build on amd64.