Revert renames to HdmiProperties am: 31bbc755dd Original change: https://googleplex-android-review.googlesource.com/c/platform/system/libsysprop/+/14199557 Change-Id: I91259aed909ddfb11fd937f8174b271b71f1904f