[coreboot] [PATCH]another batch of kconfig boards

[Patrick Georgi]

Hi,

with this patch, the remaining board count is down to 15.
It also implements the remaining AMD sockets and ati/ragexl driver
support in kconfig.

Signed-off-by: Patrick Georgi