ACPI / APEI: remove the unused dead-code for SEA/NMI notification type