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