fix a small bug in the config merge/split (fixes buildbot error on ixp4xx)