Re: [coreboot] SELF machine parameters