Eu tenho o mesmo laptop.
Você pode formatar o ExpressCache de 24GB sem problemas, embora talvez não seja uma boa idéia formatar a partição de recuperação sem primeiro fazer o backup - ela funcionará bem, mas se algo acontecer ao Windows, você não poderá reinstalar sem pagar Samsung para uma nova imagem.
A inicialização dupla é um problema em um sistema UEFI. Você pode Live boot a partir de um USB sem problemas, contanto que você desligue o 'Secure Boot' ou o que for chamado nas configurações do BIOS. Eu tentei instalar vários sistemas Linux no SSD de 24GB, não consigo descobrir como inicializá-los.