In the dmesg it seems there are two genfb devices. Here is the output of dmesg.
[ 1.017264] genfb0 at pci0 dev 1 function 0: vendor 1002 product 1309 (rev. 0x00)
[ 1.017264] genfb0: framebuffer at 0xe0000000, size 1366x768, depth 32, stride 5632
[ 1.017264] genfb0: shadow framebuffer enabled, size 4224 KB
[ 1.017264] wsdisplay0 at genfb0 kbdmux 1: console (default, vt100 emulation), using wskbd0
[ 1.017264] drm at genfb0 not configured
[ 1.017264] genfb1 at pci1 dev 0 function 0: vendor 1002 product 6604 (rev. 0x00)
There is the genfb for pci1, which I assume is the vga port output of
the laptop. But I might be wrong.