x86, olpc: Add missing Kconfig dependencies