Defines starting with `k' in machdep/ppc

• kBootArgsRevision machdep/ppc/boot.h:77
• kBootArgsVersion machdep/ppc/boot.h:76
• KDP_TEST_HARNESS machdep/ppc/kdp_machdep.c:64
• KERNBOOTMAGIC machdep/ppc/kernBootStruct.h:33
• KernelDataPtr machdep/ppc/nkdefs.h:100
• KERNEL_SEG_REG0_VALUE machdep/ppc/proc_reg.h:124
• KERNEL_SEG_REG10_VALUE machdep/ppc/proc_reg.h:133
• KERNEL_SEG_REG11_VALUE machdep/ppc/proc_reg.h:134
• KERNEL_SEG_REG12_VALUE machdep/ppc/proc_reg.h:135
• KERNEL_SEG_REG13_VALUE machdep/ppc/proc_reg.h:136
• KERNEL_SEG_REG14_VALUE machdep/ppc/proc_reg.h:137
• KERNEL_SEG_REG15_VALUE machdep/ppc/proc_reg.h:138
• KERNEL_SEG_REG1_VALUE machdep/ppc/proc_reg.h:125
• KERNEL_SEG_REG5_VALUE machdep/ppc/proc_reg.h:130
• KERNEL_SEG_REG8_VALUE machdep/ppc/proc_reg.h:131
• KERNEL_SEG_REG9_VALUE machdep/ppc/proc_reg.h:132
• KF_SIZE machdep/ppc/pcb.c:132
• KGDB_GETC_BAD_CHAR machdep/ppc/serial_io.h:44
• KGDB_GETC_TIMEOUT machdep/ppc/serial_io.h:45
• KGDB_PORT machdep/ppc/serial_io.h:31
• kgdb_printf machdep/ppc/misc.c:176
• kMaxDRAMBanks machdep/ppc/boot.h:47
• kPropNameLength machdep/ppc/boot.h:57
• KVTOPHYS machdep/ppc/dbdma.c:59