kernel: stuck on TLB IPI wait (CPU#x)