static void board_check_revision(void)
 {
-       if (of_have_populated_dt()) {
-               if (of_machine_is_compatible("nokia,n800"))
-                       board_caps = NOKIA_N800;
-               else if (of_machine_is_compatible("nokia,n810"))
-                       board_caps = NOKIA_N810;
-               else if (of_machine_is_compatible("nokia,n810-wimax"))
-                       board_caps = NOKIA_N810_WIMAX;
-       }
+       if (of_machine_is_compatible("nokia,n800"))
+               board_caps = NOKIA_N800;
+       else if (of_machine_is_compatible("nokia,n810"))
+               board_caps = NOKIA_N810;
+       else if (of_machine_is_compatible("nokia,n810-wimax"))
+               board_caps = NOKIA_N810_WIMAX;
 
        if (!board_caps)
                pr_err("Unknown board\n");