Headers for ubuntu-omap-gcc