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