WildKernel: Use proper celox base address