Re: [coreboot] domain vs device statictree order