Commit c9172d13 authored by Andreas Marek's avatar Andreas Marek

Cleanup of real generic kernel

parent 719457df