genconfig fixup

Change-Id: I2ec823550c92f88fec52cfcc3178087680347623