Re: [coreboot] New name for have_resources