Re: [coreboot] [RFC] kill unwanted_vpci, use "hidden" property instead