(early preliminary issue; needs more investigation and clarification after x86_64 is cleared up) See: https://github.com/hermit-os/kernel/pull/1938