Extends genkernel (this fork incorporates some local changes)