Hey Jon,
Great work with the last ones. When are we getting 4.19? Coreboot released it a short while ago. Much appreciated.