[coreboot] ast2400 / ast2500