Variational principle for linear stability of flowing plasmas in Hall magnetohydrodynamics