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