On-Chip Hot-Socketing & Power-Sequencing Support in Intel® FPGA Devices