Restore 2 byte processor_id_type default

And print the size along with the others in the configure summary
More non-default-type-size correctness fixes