Update kernel config / PKGBUILD.

This add the upstream ethernet module for a samsung USB ethernet adapter.  Add the module to this kernel as well.