Re: [PATCH v5 27/46] x86: Ensure SPL banner is only shown once