IPC topend needs to be modified to match topend.h. Currently, it doesn't build.