This part was broken, as the stored .config doesn't contain the
arch/version anymore.

Signed-off-by: Tim Niemeyer <[email protected]>
Reviewed-by: Steffen Pankratz <[email protected]>