realtek: always require SMI bus ID for RTL8231