If we already disable thunderbolt in the bios, why do we need an additional ssdt that does the same thing?