We create a patch that undefines this symbol inside
the posix socket module of Python. We do this because
the functionality is not available under lwip and it
causes an error under Python.
Signed-off-by: Vlad-Andrei Badoiu <vlad_andrei.badoiu@upb.ro> Reviewed-by: Daniel Dinca <daniel.dinca@unikraft.io> Approved-by: Razvan Deaconescu <razvan.deaconescu@cs.pub.ro> Tested-by: Unikraft CI <monkey@unikraft.io>
GitHub-Closes: #5