Have any of you played with replacing the BIOS on a machine with coreboot? I've got a machine which should be compatible, but it seems to be a bit of a pain to flash it, so wanted to see if anyone reasonably local had messed with it before i dive in the deep end