tianweiz: deb.sh for attestation_kernel