hw/arm: Add ASPEED AST2400 SoC model