* platform/k1-nodeos/Makefile.am: Fix installed headers
* platform/k1-nodeos/Makefile.am: Fix installed headers

kalray/odp-mppa,kalray/odp-mppa,kalray/odp-mppa,kalray/odp-mppa,kalray/odp-mppa,kalray/odp-mppa,kalray/odp-mppa