Fix page link for linux kernel