Searching in gdb/testsuite/boards