If building on x86_64, build a 32bit core anyway

A 64bit core would force to use a 64bit kernel...
Building the core as 32bit allows to chose the preferred kernel
Try to fix 32bit core builds on x86_64
Merge branch 'SmartUC' of https://github.com/lucabe72/ImageScripts into SmartUC

Conflicts:
	monolithic.sh
Make the openvswitch version more configurable
Better config file for 3.14 host