[coreboot] AMD fam15h / A88XM-E (F2A85-M) - fix for a Turtle RAM issue?