Re: [coreboot] #17: clean up linuxbios table handling