[PATCH 07/13] x86: mrc: Correct SPL debug message