Which is sad; a Pixel phone using libreboot + EDK2 to offer a "normal" boot path to Linux would be sweet.