kernel/mingw32: use pre-set headers dir

There is a variable that contains the headers directory,
so there's no need to re-compute it again.

[Yann E. MORIN: split the original patch]

reporter_name="Thomas Petazzoni"

reporter_url="http://www.free-electrons.com/"

reporter_comment="Very basic testing only"