#include "../ppc64/kernel-image"