kernel: fix config breakage from removing the de4x5 tulip driver