Bootkits have nothing to do with what is described by this article and badbios. They reside on the filesystem. The thread you linked to doesn't contain any fin

Bootkits have nothing to do with what is described by this article and badbios. They reside on the filesystem. The thread you linked to doesn't contain any findings, but it does contain an analysis of Dragos' UEFI showing it to be completely clean, with the code matching the original factory image.