dbk kernel for 4.2 roms