Would anyone here on the list have experience with either Coreboot or Libreboot? I'm thinking about picking up a second hand laptop for occasional use and was thinking about using Coreboot/Libreboot in place of the traditional BIOS.