I managed to boot the kernel I had compiled with the above patch (but not based on 4.12.1 but on 4.8.0). I needed to change to legacy boot mode in BIOS to get it to boot.
I managed to boot the kernel I had compiled with the above patch (but not based on 4.12.1 but on 4.8.0). I needed to change to legacy boot mode in BIOS to get it to boot.