wafsamba: display the default value in help for SAMBA3_ADD_OPTION