Input: i8042 - add a DMI table for the i8042.reset option