esp4: Switch to new AEAD interface