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