arm: s5pv210: Clarify Kconfig options for Venturi

Change-Id: Ia8c10e8cf67a4787292b0987028a66718b0fa9e4