new kernel should conflict with default kernel