The market does not seem to know my device
You know, I just checked my settings and mine looks just like yours. I am on FRG83D, though - only thing not stock is I have rooted it, and am using a Slayher kernel. I don't think a non-stock kernel would have any effect on this, though. It should be using the build.prop fingerprints to identify the device.