[coreboot-gerrit] Patch set updated for coreboot: rockchip: update make_idb.py