Merge "Verify kernel implementation of AES-CTR"