Hi,
I tried it out and happy to say that it works. I followed the number 15 reply in the document below. The script build-image.sh works well. When you install docker images after installing docker, make sure you download images of 32-bit architecture. Otherwise, it will not work...