ShellBinPkg: ARM binaries update based on 15257.