The rEFInd boot loader for UEFI Systems: A life (and sanity) saver