Interesting. uname -a reports x86_64, and lscpu also reports x86_64, although perhaps that's just the kernel being patched to lie about the architecture.