[PATCH] configs: Remove dead CONFIG options