Rename boot_i386.8 to boot_pc32.8 by repo-copy in order to enable the