I'm pretty sure I'm on a 64 bit system. Using arch linux 64 bit edition and my kernel is clearly 64 bit.
I don't think they even sell 32-bit PCs anymore.
This is really confusing then. I'll try to do some research on this.
