move the EABI config override to the generic kernel config overrides, as it's arch...