sha/asm/sha256-armv4.pl: adapt for use in Linux kernel context.