devices4.diff fixes my Rasbian foreign architecture bootstrapping problem (see Bug#813242). So thumbs up from me. -- Michael
Attachment: pgpmvlBLonWen.pgp Description: OpenPGP digital signature