ubi_tools: add workaround for bad kernel headers. Closes 4838

Signed-off-by: Denys Vlasenko <vda.linux@googlemail.com>
1 file changed