docs/devel: add some notes on the binfmt-image-debian targets