Fix error at compile time in proximity sensor driver

The same driver is used in Android. In such a case, a minor fix is necessary to avoid an error at compile time.

requested review from @yuri.mazzuoli

assigned to @michele.cirinei

approved this merge request

merged