Missing platform_device.h in linux-libre-headers

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

DKMS modules support

Hi all, I installed guixsd on my MacBook today and I want to enable the spi keyboard, then I found this : https://github.com/roadrunner2/macbook12-spi-driver so, could these process mentioned in the link be configured in the guixsd system