Add bbappend for linux kernel version 3.8.
Fix up paths in debug packages.
Update path to mboot.c32
Remove vulnerable SINIT ACM and replace with the new version.

A vague description of the vulnerability is available from Intel here:n
https://security-center.intel.com/advisory.aspx?intelid=INTEL-SA-00035&languageid=en-fr

This also renames the recipe to include the version so it can be parsed as PN_PV. Changed some of the internal variables to use BP (BPN-PV) and PV.
Prefer the 3.8 kernel.