[PATCH v3 09/17] x86: mrc: Correct SPL debug message