Re: [PATCH] docs/system: Deprecate raspi2/raspi3 machine aliases