i386: fix nasty invlpg bug which caused many hours of debugging