Update OVMF to 20161202

5 jobs from master in 20 seconds (queued for 1 second)
Status Job ID Name Coverage
  Build
passed #2425
build

00:00:04

 
  Docs
passed #3656
pages

00:00:16

passed #2426
pages

00:00:02

 
  Deploy
passed pages:deploy

00:00:04

passed pages:deploy

00:00:00