Fixing restart problem with SSD Samsung 8xx EVO Series

To everyone who has this problem ( SSD doesn't boot when you reboot/restart the system, but it's only bootable after a shutdown ).

probably does not need additional kext/drivers. All you have to do is disable "aggressive LPM support" in bios SATA settings ( search online to find out your own motherboard setting position ).

Author: @Handy5_