Changes

<div style="margin: 0.4em 0px 0.5em; color: #252525;" source="" sans="" pro="" sans-serif="" font-size:="" 15="" 008px="" font-style:="" normal="" font-variant-ligatures:="" font-variant-caps:="" font-weight:="" 400="" letter-spacing:="" orphans:="" 2="" text-align:="" start="" text-indent:="" 0px="" text-transform:="" none="" white-space:="" widows:="" word-spacing:="" -webkit-text-stroke-width:="" background-color:="" ffffff="" text-decoration-style:="" initial="" text-decoration-color:=""><span style="color: #252525; font-family: 'Source Sans Pro', sans-serif; font-size: 15.008px; font-style: normal; font-variant-ligatures: normal; font-variant-caps: normal; font-weight: 400; letter-spacing: normal; orphans: 2; text-align: left; text-indent: 0px; text-transform: none; white-space: normal; widows: 2; word-spacing: 0px; -webkit-text-stroke-width: 0px; background-color: #ffffff; text-decoration-style: initial; text-decoration-color: initial; float: none; display: inline !important;">Source code for the Linux kernel , the bootloader and the bootloader flash tool has been published on GitHub:  [https://github.com/dguidipc https://github.com/dguidipc]</span></div>