My custom build of franco.kernel, with optimisations and new stuff