d175be464e
write the upper 32-bits in the adjacent bar. The consequences of the buglet were severe enough though: a machine check.