add method to check whether device-specific patch has been installed or
not