Its not a hardware compatibility problem, since you can plug the SEDs in every laptop. The problem is you'll have to modify the BIOS of the machine to be able to make a proper preboot authentification and to initialise the drive. It's not really a problem, but it has to be done....