x86: add missing kernel config symbols to Geode target