Cannot set 4k resolution on HDMI monitor on Librem 15 v4

BenQ PD3200U 32" 4K IPS PD3200U Specifications | BenQ Asia Pacific

EDID info (when connected to another laptop):

mara@mnemosyne:/sys/devices/pci0000:00/0000:00:01.0/drm/card0/card0-HDMI-A-1$ edid-decode edid
Extracted contents:
header:          00 ff ff ff ff ff ff 00
serial number:   [...]
version:         01 03
basic params:    80 47 28 78 2e
chroma info:     87 d1 a8 55 4d 9f 25 0e 50 54
established:     a5 6b 80
standard:        81 80 81 c0 81 00 a9 c0 b3 00 d1 c0 01 01 01 01
descriptor 1:    4d d0 00 a0 f0 70 3e 80 30 20 35 00 c4 8f 21 00 00 1a
descriptor 2:    00 00 00 ff 00 36 34 48 30 37 30 36 39 30 31 39 0a 20
descriptor 3:    00 00 00 fd 00 32 4c 1e 8c 3c 00 0a 20 20 20 20 20 20
descriptor 4:    00 00 00 fc 00 42 65 6e 51 20 50 44 33 32 30 30 55 0a
extensions:      01
checksum:        41

Manufacturer: BNQ Model 8025 Serial Number 21573
Made week 14 of 2017
EDID version: 1.3
Digital display
Maximum image size: 71 cm x 40 cm
Gamma: 2.20
DPMS levels: Off
Supported color formats: RGB 4:4:4, YCrCb 4:4:4
Default (sRGB) color space is primary color space
First detailed timing is preferred timing
Established timings supported:
  720x400@70Hz
  640x480@60Hz
  640x480@75Hz
  800x600@60Hz
  800x600@75Hz
  832x624@75Hz
  1024x768@60Hz
  1024x768@75Hz
  1280x1024@75Hz
  1152x870@75Hz
Standard timings supported:
  1280x1024@60Hz
  1280x720@60Hz
  1280x800@60Hz
  1600x900@60Hz
  1680x1050@60Hz
  1920x1080@60Hz
Detailed mode: Clock 533.250 MHz, 708 mm x 399 mm
               3840 3888 3920 4000 hborder 0
               2160 2163 2168 2222 vborder 0
               +hsync -vsync 
Serial number: [...]
Monitor ranges (GTF): 50-76Hz V, 30-140kHz H, max dotclock 600MHz
Monitor name: BenQ
Has 1 extension blocks
Checksum: 0x41 (valid)

CEA extension block
Extension version: 3
47 bytes of CEA data
  Video data block
    VIC  97 3840x2160@60Hz 
    VIC  96 3840x2160@50Hz 
    VIC  95 3840x2160@30Hz 
    VIC  94 3840x2160@25Hz 
    VIC  93 3840x2160@24Hz 
    VIC  16 1920x1080@60Hz (native)
    VIC  31 1920x1080@50Hz 
    VIC  34 1920x1080@30Hz 
    VIC  33 1920x1080@25Hz 
    VIC  32 1920x1080@24Hz 
    VIC   5 1920x1080i@60Hz 
    VIC  20 1920x1080i@50Hz 
    VIC   4 1280x720@60Hz 
    VIC  19 1280x720@50Hz 
    VIC  18 720x576@50Hz 
    VIC   3 720x480@60Hz 
    VIC   1 640x480@60Hz 
  Audio data block
    Linear PCM, max channels 2
    Supported sample rates (kHz): 48 44.1 32
    Supported sample sizes (bits): 24 20 16
  Speaker allocation data block
    Speaker map: FL/FR
  Vendor-specific data block, OUI 000c03 (HDMI)
    Source physical address 1.0.0.0
    DC_36bit
    DC_30bit
    DC_Y444
    Maximum TMDS clock: 300MHz
    Extended HDMI video details:
      HDMI VIC 0 3840x2160@30Hz
      HDMI VIC 1 3840x2160@25Hz
  Vendor-specific data block, OUI c45dd8
Underscans PC formats by default
Basic audio support
Supports YCbCr 4:4:4
Supports YCbCr 4:2:2
1 native detailed modes
Detailed mode: Clock 297.000 MHz, 708 mm x 399 mm
               3840 4016 4104 4400 hborder 0
               2160 2168 2178 2250 vborder 0
               +hsync +vsync 
Detailed mode: Clock 241.500 MHz, 708 mm x 399 mm
               2560 2607 2639 2720 hborder 0
               1440 1443 1448 1481 vborder 0
               +hsync -vsync 
Checksum: 0xa8 (valid)

EDID block does NOT conform to EDID 1.3!
	Detailed block string not properly terminated