bootimage.py: Fix usage of config