I think this might even be fixed by microcode patches on Intel, at least os specific, looking at the first address bit.
I guess Intel only focused on Windows NT for several months, and there it's not so easy as on Linux.