It seems a new a new 4-core 64-bits PPC laptop is coming. It will be using a Freescale e6500 processor. http://www.powerpc-notebook.org/en/ This processor is based on V2.06 ISA, but it is still not clear for me if only PPC64 is supported, or, if ppc64el might run on these machines.