This function ('noux_construct') is called from each back-end's construct method (libc or Genode component). fixes #2291