Bump kernel version to 20 to mop up cache pollution from branch