Even if Samsung has their own source tree for lk/aboot, it's wouldn't be surprising that (a) they already know about this and (b) they might have patched it already in their own sources. The real question is if it's patched in the binary that's on the phone.. and the way to figure that out is to disassemble the code knowing what you're looking for. And no, I do not care to do this.. I'm not qualified to.. because I know people will ask
It was just reported within the last week so I doubt they knew about it, just saying.