olpc_dt_build_devicetree
static inline void olpc_dt_build_devicetree(void) { }
void __init olpc_dt_build_devicetree(void)