Dynamic Platform Management for Configurable Platform-Based System-on-Chips