Fixed kgmacros to work with VMware kernel gdb stub