Add missing sha512-armv4.S