[RFC PATCH 11/18] tick/nohz: Make nohz_full parameter optional