Refresh patches.

This introduces backported BATMAN fixes up to v2019.0.

Signed-off-by: Adrian Schmutzler <[email protected]>
Reviewed-by: Robert Langhammer <[email protected]>
Reviewed-by: Tim Niemeyer <[email protected]>