Added compilation of kernel and wclGetBestDevice