From my previous comment it sounds like I added both the vga and serial earlyprintk parameters at the same time. This is not the case: I've tested one first, and then the other, to no avail.