No idea why the SSD isn't listed as a boot option. The only thing I can think of is that the BCD on the 4TB drive isn't configured properly, or the boot files didn't get copied properly to the EFI ...