[PATCH] vmi: fix nohz compile