pc_piix: disable VM hooks

Allows booting some more guests

Signed-off-by: Vitaly Chipounov <vitaly.chipounov@epfl.ch>
TbTrace: tracing page faults

Signed-off-by: Vitaly Chipounov <vitaly.chipounov@epfl.ch>
ExceptionTracer: plugin to trace guest interrupts and exceptions

Signed-off-by: Vitaly Chipounov <vitaly.chipounov@epfl.ch>
StateSwitchTracer: plugin that records state switch events

Mostly useful for debugging

Signed-off-by: Vitaly Chipounov <vitaly.chipounov@epfl.ch>
S2EExecutor: flush TLB ownership before forking

Otherwise, corruption will occur

Signed-off-by: Vitaly Chipounov <vitaly.chipounov@epfl.ch>
ExecutionTracer: GDB hook to flush the trace manually

Signed-off-by: Vitaly Chipounov <vitaly.chipounov@epfl.ch>
MemoryTracer: log klee ObjectState in the execution trace

Signed-off-by: Vitaly Chipounov <vitaly.chipounov@epfl.ch>
exec.c: fixed size of memory access

Signed-off-by: Vitaly Chipounov <vitaly.chipounov@epfl.ch>