Hello, With the holidays/end of year I didn't get a chance to test until today. I installed the recently released (yesterday?) kernel 4.1.36-44 and it boots without issue! I think that the problem is solved. -Joel