x86_64: a VM should not take any scheduling parameters in the SDF

[dreamliner787-9]

This is because the VMM and VCPU shares a TCB and Scheduling Context. Whereas on ARM they are separate entities, so the SDF parsing code and manual need to be updated to not confuse users.