Re: [coreboot] #39: 440BX header file with register definitions