fix EABI kernel config on IOP32x