[PATCH] binman: fix default filename of u-boot-with-ucode-ptr in documentation