handle a kernel cc1 invocation