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

[Uwe Hermann]

See http://www.coreboot.org/pipermail/coreboot/2008-May/035190.html
for the original thread and patch.

The port is a pretty standard 440BX port, nothing special to do, and I'm
pretty certain it'll boot a Linux kernel just fine, so let's commit it.

Uwe.