Hi Ingo, FYI, my i4790 box reboots immediately.. or close enough to it that you see nothing at all before again meeting the bios splash. Master with the ~same config works fine. I haven't poked around yet (work).
-Mike
config-4.16.0.g4cdf573-tip-default.xz
Description: application/xz