Chrome OS Flex、正式版リリース。