Fix some bugs in FindChibios.cmake