Thank you so much. I amended my config plist according to your instructions and now the cpu name is shown correctly in the "about Mac".
I trust that I will still be getting the OTA updates, correct? (I deleted the "revpatch=sbvmm" argument from the boot arguments and just added the "sbvmm,auto"...