First-Order Methods for Linearly Constrained Bilevel Optimization