Re: [coreboot] [PATCH] i82801dx_lpc.c fixups