[PATCH 7/9] Handle Virtutech Simics x86-440bx shadowing with the VIRTUTECH_PC_SHADOW option.