this still doesn’t make sense to me:
* either we should be reading the real `ro.product.model' property and the rest of the patch doesn’t make any sense
* or we’re reading a pre-defined setting, in which case there’s no relevant `ro.product.model' here