Use prebuilt kernel - the correct way this time