On a crystalline variational problem, part I: first variation and global L^infty regularity