ccc talk: replace uefi by a linux



https://media.ccc.de/v/33c3-8314-bootstr…op#video&t=2801
https://trmm.net/Heads_33c3
https://github.com/osresearch/heads