FreeBSD and custom firmware on the Google Pixelbook reddit / BSD