I've confirmed that the kernel driver is actually seeing serial numbers of 0 when the tablet isn't working, and large (magnitude) serial numbers when it is by adding a printk to wacom_wac.c.
I've confirmed that the kernel driver is actually seeing serial numbers of 0 when the tablet isn't working, and large (magnitude) serial numbers when it is by adding a printk to wacom_wac.c.