Figure out a solution for seL4_IPCBuffer alignment
All IPCBuffers need to be naturally aligned. It might be nice to express this as an alignment attribute. In reality, it probably doesn't matter too much -- only trusted code sets up IPC buffers in >99% of usecases, and since they need to be their own frame, they pretty much only occur on page boundaries.