I have then tried the hack, and the dmesg output is as such:
[ 1.016451] genfb1 at pci0 dev 1 function 0: vendor 1002 product 1309 (rev. 0x00)
[ 1.016451] genfb1: framebuffer at 0xe0000000, size 1366x768, depth 32, stride 5632
[ 1.016451] genfb1: shadow framebuffer enabled, size 4224 KB
[ 1.016451] wsdisplay0 at genfb1 kbdmux 1: console (default, vt100 emulation), using wskbd0
[ 1.016451] drm at genfb1 not configured
[ 1.016451] genfb0 at pci1 dev 0 function 0: vendor 1002 product 6604 (rev. 0x00)
[ 1.017188] genfb0 at pci1 dev 0 function 0: vendor 1002 product 6604 (rev. 0x00)
[ 1.017188] genfb0: framebuffer at 0xe0000000, size 1366x768, depth 32, stride 5632
[ 1.017188] genfb0: shadow framebuffer enabled, size 4224 KB
[ 1.017188] wsdisplay0 at genfb0 kbdmux 1: console (default, vt100 emulation), using wskbd0
[ 1.017188] drm at genfb0 not configured