Don't shutdown with console lock held.
Return failure from PTE sync if master mapping does not exist.
Avoid resync page faults during access to the OBJ or PIO space.
Changed header file extension for better language detection.
Build: Fix compiler warning.
Build: Enable support for colorizing diagnostics emitted by GCC.
vTLB: Use PAE format on 64bit hosts.
Merge branch 'master' of https://github.com/IntelLabs/NOVA
Merge branch 'master' into NRE
Hide qemu-bug until it is fixed.

Currently, we support only 32-bit guests anyway, so that it doesn't
hurt. Since I'm expecting it to take quite long until qemu fixes the bug
in the logical to linear address translation that occurs for 32-bit
guests on 64-bit hypervisors, we fix it this way, so that we can run
Escape as a guest.

The bug has been reported here:
https://bugs.launchpad.net/qemu/+bug/1211910