[coreboot] F2A85-M: A10-6800k (Richland) supported?