tree 248843abf8a068e99bd97e3d826e37cc70df36fa
parent 13bb0fd5519db658860ce3b3c89a7631a3ed1077
author Guillaume Douézan-Grard <gdouezangrard@gmail.com> 1494865328 +0200
committer Darren Hart (VMware) <dvhart@infradead.org> 1494890150 -0700

platform/x86: topstar-laptop: Add new device id

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: Guillaume Douézan-Grard <gdouezangrard@gmail.com>
Signed-off-by: Darren Hart (VMware) <dvhart@infradead.org>