kernel/baseconfig/x86/i686/CONFIG_HW_RANDOM_GEODE