Python pode virar compilado ?

Uma linguagem de programação não é, por si só, interpretada ou compilada. Eu posso desenvolver um interpretador/compilador que eu quiser - claro, se tiver conhecimento pra isso - para uma certa linguagem. Se não me engano, o Sebesta dá essa explicação no seu livro.

A linguagem em si, suas regras sintáticas, permanece a mesma. Mudam algumas coisas na execução, dependendo do que você fizer.

E você nem precisa escrever todo um SO para isso.