Hello,
I found there are several little changes on the latest commit of seL4 kernel [1]. And you just changed the define of function "
map_it_frame_cap" for arm, but not for ia32. I just wonder whether there are any further considerations, or it's just a mistake :)