> Do you ever boot your machine only into 32-bit mode? No, but I'm not everyone. Or let me put it this way: I don't know the motivation for why the things wor

> Do you ever boot your machine only into 32-bit mode? No, but I'm not everyone. Or let me put it this way: I don't know the motivation for why the things work like they do. It's entirely possible there is no good reason at all. Or maybe there is? Either way, I wouldn't assume anything so quickly.