mibuild/platforms: add APF27 and APF51 Armadeus platforms