danke, linus!

ich war schon fast fertig mit den beiden rc kernels im neujahr. nun
der 15er... das nenn ich mal service dachte schon ich müsste was
produktives mit dem computer machen !!!!1111