[seL4] Allocman Error