change the vcpu struct
add register interrupt function for vCPU
change the Interrupt handler in POK kernel.
Change the return value in vCPU