update to ACA-Alpha V13C kernel