Synchronization Issue between VCPU-0 and VCPU-1 still pending.
CPU-1 locks a semaphore, CPU-0 wants to lock it but spins in a loop.
CPU-1 can proceed (as it has the lock) but it enters and exits the KVM
without doing anything for some unknown reasons.
Both VCPU-0 and VCPU-1 ask SystemC for rescheduling and nominate VCPU-0
for next turn ... which is obviously invalid.

Disabling prints in lock_acquire gives do_invalid_op error (gate 6) in ix86Processor.
Simplified Blocking/Unblocking ... But Only VCPU-0 Works Now
Both CPUs Running ... Sync Issue Again
Commented a print
Added a new CPU ioctl for a test
Initial Working Version Using SystemC Threads Only; for 2 CPUs
Removed un-used Code
Removed extra printk
State Save: VCPU-1 Spins inside KVM on External/NMI Interrupts; True SMP not working
Disabled EPT by Force
Tested with 10 CPUs + Commented Prints
Merge branch 'sc_threads_real_smp'