Delete attestation_kernel.c