Jak zjistim ktere (pokud vubec nejake) kernel configuration options jsou defaultne included a to i presto ze nejsou explicitne uvedene v kernel konfiguracnim souboru? napriklad CPU_UPGRADE_HW_CACHE je defaultne on nebo off?