In recent versions of chipsec the build scripts have changed and we
haven't built the kernel module in nixpkgs. Upstream has changed the
variable for the kernel sources.
Additional patches are needed as a workaround. Those issues should be
fixed upstream.
