[nvidia-390xx-kmod/f33] Really fixup ARM build