The last revision message was in error. It should have read: OLPC XO-1.5 - restore some additional PCI configuration register settings when resuming Windows, particularly in the SD host controller"
cpu/x86/pc/olpc/via/startpcirestore.fth