The provided example fails on the `linuxu` platform with "Failed to initialize memory allocator"

[antoineco]

Environment

CPU: Intel Core i5-8265U OS: Ubuntu 22.10 (WSL2) WSL version: 1.1.3.0 Kernel version: 5.15.90.1

Description

Following the example from the README generates a linuxu kernel which doesn't run:

$ kraft build --plat linuxu --arch x86_64

$ ./build/helloworld_linuxu-x86_64
[ 7678.186628] CRIT: [libukboot] <boot.c @  268> Failed to initialize memory allocator