Use new Mibuild generic_platform API