I think this is irrelevant. -headers package is not in user/ section, so it dont have to be in /opt. Original kernel-headers is in sdk repository and extras has not section sdk...