change to ACA-Alpha V12 kernel