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