Re: l4linux on arm11mpcore (build error)