0FEBFBFF000006F1 looks like CPUID.1.EDX concatenated with CPUID.1.EAX. So, you want CPUID.1.EDX to be 0FEBFBFF and CPUID.1.EAX to be 000006F1. Use a binary calculator to convert hexadecimal to binary, and you get:
cpuid.1.edx = "00001111111010111111101111111111"
cpuid.1.eax = "00000000000000000000011011110001"
The only thing that would concern me is that you are changing bit 22 of CPUID.1.EDX from 0 to 1. This will result in the virtual CPU claiming support for a feature that it does not really support, namely "ACPI." Intel documents this feature bit as follows:
Thermal Monitor and Software Controlled Clock Facilities. The processor implements internal MSRs that allow processor temperature to be monitored and processor performance to be modulated in predefined duty cycles under software control.
This may or may not be a problem, depending on what the guest OS does with these MSRs.
The guestCPUID.1 value is informational only. You should see that value change after you have powered on the VM with the configuration options above.