Overall improvements to x86base module. (3)