x86: Fix the mystery of printch() during 64-bit boot