Accelerating HLS Autotuning of Large, Highly-parameterized Reconfigurable SoC Mappings