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"