Re: [coreboot] A-trend ATC-6240