BUG: KCSAN: data-race in do_page_fault / spectre_v4_enable_task_mitigation