14:33 tobik 

devel/linux-kernel: Update to 4.13.7

- Switch everything to use options helpers
- Make use of BINARY_ALIAS to setup the build environment
- Copy bits/auxv.h and elf.h directly instead of having them in patch form