The os itself only supports x86 so this won't matter. x86_64 and i386 use the same bootloader assembly.