Oh god, your buddy is a dumb fuck. Only those kernels that Xantium has mentioned are original kernels (but he has forgotten 5530 which is 1.4-1.5
). Your kernel is Executer 2 4980 and kick your buddy in the arse to make him install the switch.
Remember:
LOOK AT THE FIRST POST, and don't aks for what's already answered.