Stuff related to the bricking of my Samsung NP300E5C-A01UB notebook due to the UEFI bug.