[boost] Re: patches for embedded VC4