Adding a custom library to l4/pkg/bootstrap