Did any progress was made in the matter of coreboot on laptops and with Dell C600 Latitude? As I am googling the net and the mailing list I see that my chipset is supported but still I am bit afraid to flash it with coreboot. Any suggestion except mounting a socket for changeable chips?