[coreboot] Does coreboot works on o2 joggler?