The image `armhf/debian` is used in the example. This image has now been deprecated, and will not work. It should be replaced with `arm32v7/debian`. 