Allow ARMv6/ARM1176 to be selected for ARM Versatile PB.

This kernel can be used to run Raspberry Pi images on QEMU platform.

The concept and kernel configuration taken from

  http://xecdesign.com/compiling-a-kernel/

  http://xecdesign.com/qemu-emulating-raspberry-pi-the-easy-way/

Signed-off-by: Pavel Pisa <ppisa@pikron.com>