Re: [coreboot] [PATCH] YABEL: fix 32 bit IO accesses