Update config as built by make bootimage (thanks, sledges)

Change-Id: I27de94873a79593a1a239cec63208a16784afd60