Re: [coreboot] questions on coreboot bootlog w/ EP80579(Truxton platform)