kGym: A Platform and Dataset to Benchmark Large Language Models on Linux Kernel Crash Resolution