OK, so I finally got it sorted. It all depends on the bootloader I use.
As I have a dual boot with Windows 10, I have two boot scenarios.
I can either go through the bootloader that came with Kali (my usual option until now). In which case, for some reason, the full amount of installed RAM is...