No, vyriesene to nemas, lebo 4GB RAM je fakt celych 4GB a nie 3.85GB (velkost RAM sa rata v "pocitacovych" GB = 1024*1024*1024, kvoli adresovaniu). Ale predpokladam ze tych 0.15GB si bere na nieco bud ten debian, alebo je ten kusok kvoli niecomu rezervovany (legacy alebo SMI adresne oblasti rezervovane BIOSom zakl.dosky apod).

Ale aj ked ti tej RAM trochu chyba, neries to, ak vsetko funguje. Riesit to IMHO ani nejde.
P.S. vseobecne 8GB by u 64bit OS malo fungovat bezproblemov (ak ti 8GB zvladne tvoj hardware - CPU a doska)).