add 32-bit grub debs