changes fkvm_get_{efer,cr8} to simply return the values