[PATCH] arm: Add VIRTUALIZATION configuration menu and virtio options

[Pawel Moll]

> > This patch adds menuconfig VIRTUALIZATION to arm Kconfig
> > and includes virtio Kconfig in it.

I had another look and it's actually not needed any more, as since
e72542191cbba4cf7fda21cb22e26b42d7415daf "virtio: expose for
non-virtualization users too" the drivers/virtio/Kconfig is included in
drivers/Kconfig.

> Please resubmit without the line above.  default n is default's default
> default, so it's completely redundant by default.

We have 606 redundant defaults then:

$ find . -name Kconfig\* | xargs grep "default n" | wc -l
606

Not something that would make me sleepless ;-)

Cheers!

Paweł