The latest Topstar BIOS updates (109_931P) advertise the "TPS0001"
device id by default, preventing the topstar-laptop module from being
loaded automatically.
Signed-off-by: NGuillaume Douézan-Grard <gdouezangrard@gmail.com>
Signed-off-by: NDarren Hart (VMware) <dvhart@infradead.org>