Simplify building. Link-time optimization (?) already working.
Add kernel/mod.rs with a default allocator