Update generated dummies for wireguard

[Duss Pirmin]

Hello Christian

On 03.07.23 12:20, Christian Helmuth wrote:
> On Mon, Jul 03, 2023 at 11:26:47 CEST, Christian Helmuth wrote:
>> Then, I noted that you wrote "RTC stub" and realized you may refer to
>> connecting wireguard/virt_linux to the Genode RTC service. In this
>> case, I'd like to ask if it may be less invasive to implement the
>> Linux API used by the wireguard code instead of enabling the RTC
>> subsystem. This subsystem is much more complex than just mapping some
>> function to Rtc::Session::current_time().
> 
> In other words, call do_settimeofday64() on wireguard startup should
> spare you the entire RTC subsystem as Martin already hinted in his
> email.

This is what we actually want. Martins hint about creating a pseudo RTC 
driver did let me run in that direction.

The new code is much less invasive. I'm currently debugging, why 
do_settimeofday64() accesses address 0x0. Maybe I'm calling it too early 
but I think, that I will figure this out.

Regards,
Pirmin