@neil@mastodon.neilzone.co.uk There is https://www.odroid.co.uk/ who are resellers of hardkernel's odroid machines. I've never dealt with them, though. It might be a bit more expensive than ordering from Korea direct but at least it's more convenient. The x86 processors are Intel, though. Not sure if you meant amd64 as meaning generic 64-bit or AMD-only brand.