Force install of NVIDIA drivers

- This is required since we first copy firmware from ChromeOS, but
  some of them, in particular

/usr/lib/firmware/tegra12x/nvhost_msenc031.fw
/usr/lib/firmware/tegra12x/nvhost_tsec.fw
/usr/lib/firmware/tegra12x/vic03_ucode.bin

  are owned by the gpu driver package

archlinux.sh

@@ -2075,7 +2075,8 @@ sudo -u nobody -H wget http://www.tbi.univie.ac.at/~ronny/gpu-nvidia-tegra-k1-op
 sudo -u nobody -H wget http://www.tbi.univie.ac.at/~ronny/gpu-nvidia-tegra-k1-openmax-codecs-21.4.0-4.1-armv7h.pkg.tar.xz
 sudo -u nobody -H wget http://www.tbi.univie.ac.at/~ronny/gpu-nvidia-tegra-k1-libcuda-21.4.0-4.1-armv7h.pkg.tar.xz
 
-yes | pacman --needed -U  gpu-nvidia-tegra-k1-nvrm-21.4.0-4.1-armv7h.pkg.tar.xz \
+yes | pacman --needed -U  --force \
+                          gpu-nvidia-tegra-k1-nvrm-21.4.0-4.1-armv7h.pkg.tar.xz \
                           gpu-nvidia-tegra-k1-x11-21.4.0-4.1-armv7h.pkg.tar.xz \
                           gpu-nvidia-tegra-k1-openmax-21.4.0-4.1-armv7h.pkg.tar.xz \
                           gpu-nvidia-tegra-k1-openmax-codecs-21.4.0-4.1-armv7h.pkg.tar.xz \