coreboot-kgpe-d16/util/mainboard/google/brask/template/overridetree.cb

chip soc/intel/alderlake

        device domain 0 on
        end

end