Switch the DRBGs from AES-128-CTR to AES-256-CTR