New comment by pullmoll on void-packages repository

https://github.com/void-linux/void-packages/pull/24699#issuecomment-701178222

Comment:
9e67fa5282234beefbca2bcd307e12d3604a8905 and the patch would be required if, when we switch to gcc10, the pinebookpro-kernel is still at 5.7.0.