[x86] Add OLPC kernel config (patch by Acinonyx)