postmarketOS on PinePhoneがめんどくさい2020/07/31