nohz_full: Add full-system idle states and variables