I actually suspect it was a translation error from German.
This article appears to just be an updated version of an old one and the GrapheneOS website does/did mention support for things like dev boards such as HiKey.
1 Like