Merge "trusty: Retrieve coverage PCs from coverage record"