Full disk encryption#The boot key problem