[ros-diffs] [ion] 24335: - Clear KPCR->TEB during bootstrap as well. - Use KPCR_PROCESSOR_NUMBER instead of 0x130.