Hi,
There is no separate lens profile, the default profile corrections are contained in the camera profile (Sony DSC-RX100M3 Adobe Standard.dcp)
New camera specific profiles and corrections to ISO125 processing are coming in Lightroom 5.6, they are currently there in the ACR v8.6 RC.