Excuse for lack of investigation before adding to the bug. It turned out that the last line while booting was not an indication of the actual problem.
Actually the laptop in question can only use 255M of 256M RAM on installed. Swapping the motherboard solved the problem.
Good luck solving the real bug!
Boudewijn