A Case Study on HLS Portability from Intel to Xilinx FPGAs