Remove commented-out options SMP and APIC_IO from old arm boards that will
never be able to support smp.

Switch all arm kernels with option SMP to use SCHED_ULE instead of 4BSD.