mibuild/platforms/apf51.py: adding apf51 armadeus board platform in mibuild