Brunch r80 k4.19 stable 20200329

Warning: updating Brunch from kernel 4.14 to kernel 4.19 or the opposite will prevent you from accessing your data (this is not a Brunch mechanism but a ChromeOS one).