Install TSS in init again
Use 64-bit code to print boot message