Rename supported_arch to SupportedArch.
Move SupportedArch to kernel_abi.h
Rename 'struct flags' to 'struct Flags' and drop 'struct'.
Tasks should check whether their session is recording instead of checking a global flag.
Remove 'option' from Flags.
Make DUMP_AT_NONE a member of Flags
Make DUMP_ON values members of Flags.
Insert blank lines for easier reading.
Move CHECKSUM values into Flags.
Move CREATED_ values into Flags.
Rename types.h to Flags.h.
Make RR_NATIVE_ARCH a variable instead of a #define.
Rename 'verifier' to 'Verifier'.
Rename kernel_constants to KernelConstants.
Rename wordsize32/64_defs to WordSize32/64Defs
Rename base_arch to BaseArch.
Rename x86_arch to X86Arch.
Rename x86_64_arch to X64Arch.
Use DebuggerRegister type in more places.
Rename DebuggerRegister to GDBRegister.