ci: fix wiki script after device page change
The script looks for the section with non-booting devices; it just got renamed to "Non-booting and unavailable devices". Update the script accordingly.
The script looks for the section with non-booting devices; it just got renamed to "Non-booting and unavailable devices". Update the script accordingly.