Re: CPU
Why assume anything? If they had proved all their hardware was secure, would you have lead with "I assume they've proved their kernel is secure too"?
Even if they haven't, it is one tick box off on the way to proving every component is secure, which is note- and praiseworthy surely?