Switch to @deedwar 's kernel repo