Bugfix in raw SHA384/512 formats: Sign extension problem.