axisdev88: Fix passing of kernel cmdline.