AFOCL: Portable OpenCL Programming of FPGAs via Automated Built-in Kernel Management