doc: add EFD library section in programmers guide