[PATCH 1/5] gprs-provision: add driver API header