[PATCH] don't allow users to set CONFIG_BROKEN=y