eigen: add --HEAD.

Closes #26588.

Signed-off-by: Mike McQuaid <mike@mikemcquaid.com>