7f7578c815
opt_smp_invltlb.h from: SMPHDRS= opt_smp.h opt_smp_invltlb.h SMP_INVLTLB is no longer a valid config option, the invalidation of the TLB via inter-CPU IPIs is now standard when APIC_IO is used.