how do i patch dsdt on linux mint?