arch/tile: various header improvements for building drivers