Je te signale que le split par défaut est 3G user / 1G kernel, pas l'inverse. Donc chaque programme peut accéder à 3 GO, pas 1 GO.

Il y a un patch pour avoir 4G / 4G, avec des espaces d'adressage séparés, mais ça complique les choses pour peu de gain (4 GO vs. 3 GO, alors que la vraie solution est de passer en 64 bits), donc ce patch n'a jamais été accepté par Linus et n'est plus utilisé dans Fedora.

Quant au noyau, évidemment que le noyau Fedora est compilé en mode HIGHMEM4G (et il y a aussi un noyau PAE avec lequel le problème ne se pose pas).