Missing platform_device.h in linux-libre-headers

[Eleven]

I’m trying to compile some extra kernel module for my guixsd, however the 
headers files needed, `modules.h` and `platform_device.h` was not found. After 
redefining the linux-libra-headers package, update the version to 4.15.13 which 
is the version of the kernel I’m currently running, I get `modules.h` but 
`platform_device.h` still missing. What’s the problem and how can I fix it?