The text efdabaabded1, as FreeBSD 12.0-RELEASE shipped it.
GPIO LED generic device driver
gpioled(4) on FreeBSD now
