x86: Correct a few progress message nits