[coreboot] device tree rework (was: Re: [PATCH] use Kconfig for both options on Lippert boards)