714
722
# Output may be empty; if so, just update the core image but
715
723
# don't install it to any PReP partition.
716
724
prep_bootdev="$(/usr/lib/grub/powerpc-ieee1275/prep-bootdev)"
727
735
# Install for x86_64 regardless of arch, since a 32-bit userspace can still boot with a 64-bit kernel.
730
738
case $(dpkg --print-architecture) in