Update to working kernel