Fix typo in extlinux documentation.

This fixes commit dee1dd64c3cd5e67393dec679040eb02e81c84b0.