[coreboot] Hello, i am the owner of a toshiba chromebook 2 with coreboot/seabios installed on it, is their a way for me to overclock the chromebook, or build such a bios for it? Thanks Jean