https://www.systemtek.co.uk/2018/01/linux-kernel-extended-bpf-verifier-information-disclosure-vulnerability/