# For powerpc, only the kernel is included.