linux-{ti33x,omapl138}: simplify and unify handling of "tipspkernel" feature