Use kore_source headers if single_binary is set.
Use kore_source headers if single_binary is set.

Before kodev always picked up the kore headers installed on the system.
This presented some annoying problems as the system headers may not
match the headers used by the kore_source you're actually building
against.

jorisvink/kore,jorisvink/kore