Hello all! Here I am! I tried the above solution. First of all, I think you mean /etc/init.d/*gpm* and not *gdm*, right? However, it's still not turned off fast enough and the framebuffer splash gets overwritten, even if only for a few seconds! Thank you anyway!