Move some code unrelated to any dealing with hardware bugs from i386's bugs.h to a more logical place. From: Jan Beulich (actual patch attached)