linux-odroid: make header packaging robust to any kernel config

There are some workarounds that involve moving some headers
around. In case when the headers in question don't exist,
don't apply the workaround.