3 running_amd64_kernel
() {
4 uname
-r |
grep -qs 'amd64$'
10 if running_amd64_kernel
; then
11 echo "$boot_kernel" |
sed -e 's,/vmlinuz$,/vmlinuz2,'
18 if running_amd64_kernel
; then
19 echo "$boot_initrd" |
sed -e 's,/initrd\.img$,/initrd2.img,'
25 echo "Usage: $0 kernel|initrd" >&2