write device kernel to bitcode