x86, olpc: Speed up device tree creation during boot