use prebuilt kernel (reverse-merged from commit a1edec30f57c41f29cf1957ffc50c908e6d427db)