Re: [PATCH v3 3/7] drivers/acpi: convert seqno to use seqnum_ops