Did you manage to make a WX4130 works?It's UEFI booted, indeed.
I'm hoping to have time this weekend to get the GOP driver from Nick's WX4150 BIOS working in the BIOS the WX4130 came with.
The only difficult thing seems to be the PWM table for the backlight. I cannot directly take the values Nick put into the 4150 BIOS because the table doesn't match in size and/or amount of entries.