Pytorch on a raberry Pi 4 (32-bit OS)

[ptrblck]

@tom provided some PyTorch builds for Raspberry Pi here, which might be useful for you.