My 5 picks are Amir, Hasan, Shaheen, Abbas & Hasnain. I think, Fahim is there as all-rounder, so should be out of scope.
First 3 select themselves - Amir is still the most complete & skilled pacer, Hasan at his pomp most destructive and Shaeen add another dimension - height, quite fast as well.
For the reserves, I think one express pacer is required - options are Hasnain, Wahab & Rauf. I have seen very little of Rauf ...... and too much of Wahab; Hasnain comes with speed and recent success; still not polished enough, but 3-4 months mentoring should be enough for him. For the last spot, I specifically wanted a new ball specialist, preferably right-armer since regular opening pair is lefti.
Between JK & Abbas, I have gone for the unknown one - being right-arm option and Abbas bowled well with new ball in his shot time in PSL. He offers more value as 5th seemer, if just in case PAK wants to go with a 5 men pace attack on typical seemers track. Not the fastest guy, but 127-128 KM might be effective in some conditions with new ball - if required, Sarfraz can give him 7+ overs opening spell and don't use at all in rest of the game. JK is officially 29, so should be at his prime, but he probably has crossed the critical age, hence his bowling looks more lethargic than threatening. Both of them are equally good or bad as fielder or batsman.