Why is this downvoted? (At the time of writing, the text is grey, so it has at least a few downvotes.)

This is a good question. As others have noted below, yes, and sometimes you can see kernel logging on start-up when the microcode is loaded.