Typedefs starting with `p' in kern

• pkt_len kern/kdp_en_debugger.h:36
• processor_array_t kern/processor.h:254
• processor_set_array_t kern/processor.h:255
• processor_set_name_array_t kern/processor.h:256
• processor_set_name_t kern/processor.h:113
• processor_set_t kern/kern_types.h:93
• processor_t kern/kern_types.h:87