Re: Intel XNU bug report