cmake: Make used processor type globally configurable