correct kernel_mkbootimg_args