ppcopy_kernel__relocatable
extern void ppcopy_kernel__relocatable(page_t *, page_t *);
#define ppcopy_kernel(p1, p2) ppcopy_kernel__relocatable(p1, p2)