As suggested by Avi, introduce accessors to read/write guest registers.This simplifies the ->cache_regs/->decache_regs interface, and improvesregister caching which is important for VMX, where the cost ofvmcs_read/vmcs_write is significant.