Meltdown & Spectre: integration of secured co-processors ?