[platform][alterasoc] get this platform working again after VMM addition