kernel: Switch to mkdtboimg.py

Change-Id: I6f444a3e2265f163e84eaf00d054697dbcf0f803
1 file changed