Linux developers working on Windows UEFI secure boot problem