[PATCH v2 09/18] x86: mrc: Correct SPL debug message