[coreboot] New name for have_resources