K_BRANCH_ID instead of hardcode version for NO_HZ patch