Re: [PATCH] Fix processor_type value for 32-bit systems