[PATCH 1/2] Added cmd-line selection of gps device.