Re: [coreboot] [PATCH] coreboot: Add support for A-trend ATC-6240 (repost)