Microsoft uses AI to find flaws in GRUB2, U-Boot, Barebox bootloaders