Fixing UEFI Secure Boot problems on Ubuntu 14.04

By Leo Gaggl