TPR patching: instruction_is_ok(): fix virtual address checking
The check for the RIP on instruction_is_ok() has been broken by commit
406b88a0d537c28b65a9ff015b4e0e91c5425a27 ("set pci mem to start at 0xc100000
and vesa to 0xc000000").
The BIOS changes shouldn't influence the virtual address mapings on
Windows, so I am simply restoring exactly the line that was used before
the PCI hole patch.
Bugzilla: 483494
Signed-off-by: Eduardo Habkost <ehabkost@redhat.com>
Acked-by: Gleb Natapov <gleb@redhat.com>
Acked-by: Juan Quintela <quintela@redhat.com>