kernel: Add back 'options SMP' as a no-op.