[seL4] reply: This checkin cause a build error