WSL2 Support (pre-release)

[brianfu]

Issue: Cannot load kernel modules into standard WSL2 kernel (or generate kernel headers) Solution: Enable module support, get headers directly from kernel source

TODOs:

• Only tested on main branch; Test again using pre-release as base branch.
• Test that the change in measurement.c does not break linux build chain before merging!

Solved with: https://unix.stackexchange.com/questions/594470/wsl-2-does-not-have-lib-modules https://learn.microsoft.com/en-us/answers/questions/1426263/how-to-enable-modules-in-wsl2 https://github.com/microsoft/WSL/issues/11557 Reference: https://askubuntu.com/questions/1350457/installing-linux-headers-standard-on-ubuntu-20-04-wsl2 https://learn.microsoft.com/en-us/windows/wsl/wsl-config#wslconfig