Rename parameters for load_kernel().