kernel/baseconfig/x86/i686PAE/CONFIG_HW_RANDOM_GEODE