Fix up petitboot generation code

The merged code in 68ecd3ff10201014349d9ba2b3d29e6e707dc502 needs this.

Bug: 1163466
Change-Id: Ic596a52281bd2a94450f884e6166893d562be33b