i'm not shure about a kernel bug, but ask me something How much ram do you have..?
if only 128 MB then maybe you are sharing some megs with the video card. If so, that's why the instalation recognizes less than 128mb because you share the rest with other devices.
xDrack