hppa Linux headers for hppa.