Processor IDs

Used by processor_t::id.

Used by processor_t::id.

Numbers above 0x8000 are reserved for the third-party modules