firmware: arm_sdei: Put the SDEI table after using it