[PATCH] Allow pungi to gather for arch != host