add ACA-Alpha Kernel to manifest.xml