[PATCH v3 4/7] drivers/acpi/apei: convert seqno to seqnum_ops