x86/olpc: remove old kernel config