Make nonvnc patch optional

The patch seems to break the default novnc configure at the 6080
port. Make it configurable as a workaround.