Modification to AES key implementation so that AESCounterRNG works on Android.