Add function device_getprop() that gets system property, and replace function __system_property_get() with it.