kernel - Fix serious issue w/ smp_invltlb(), plus other issues (3)