Does EFS support file locking as “normal” NFS does? Anyone checked?

To the extent that I’ve used it. Yes. Both an atomic operation like mkdir and flock have worked for me, though I’ve stopped using those types of locks for application level locking or using locks with consul. There’s a lot of articles on the web frowning the use of flock.