Mac does not restart, shuts down instead: probably a FileVault 2 bug. Posted on August 23, 2016 by jgordon Link. I have this problem. Need to get around to fixing it sometime.
