[PATCH 4.19 207/321] firmware: arm_sdei: Fix DT platform device creation