pull_request: allow an option for the kernel version