Comment # 3 on bug 1105536 from George Anchev

[~]: grep "bits physical" /proc/cpuinfo
address sizes   : 36 bits physical, 48 bits virtual
address sizes   : 36 bits physical, 48 bits virtual
address sizes   : 36 bits physical, 48 bits virtual
address sizes   : 36 bits physical, 48 bits virtual
address sizes   : 36 bits physical, 48 bits virtual
address sizes   : 36 bits physical, 48 bits virtual
address sizes   : 36 bits physical, 48 bits virtual
address sizes   : 36 bits physical, 48 bits virtual

I will send you the dmesg by email as it seems to reveal too much info which I
don't understand fully and that's why I prefer not to have it publicly
available long term.