[coreboot] Asus F2A85-M: is seabios patch still needed?