Adding symbols for SHA-512x modes and status bits. Removing symbols not used anymore.