K 10 svn:author V 6 marcel K 8 svn:date V 27 2009-03-10T06:21:52.451620Z K 7 svn:log V 182 Fix a buglet in revision 189401: when restoring a 64-bit BAR, write the upper 32-bits in the adjacent bar. The consequences of the buglet were severe enough though: a machine check. END