l4/pkg/bootstrap/server/src/ARCH-amd64/boot32
