add files required to build ppc64le iso
kernel is tested on PowerNV/OpenPower hardware (Talos II, Blackbird)
also known to work on pSeries servers and qemu pSeries emulation.
both 4K and 64K PAGESZ kernels are provided.
Signed-off-by: Georgy Yakovlev <gyakovlev@gentoo.org>