Re: [coreboot] seemingly wrong code in src/arch/i386/boot/coreboot_table.c