Quick update: I applied the above patch, but it didn't compile. Turns out one more structure element was needed from the 4th link above, in
vgavar.h:
Code:
uint8_t vc_palette[256 * 3];
Not sure if it's in the right area, but with this it compiles GENERIC. Time to reboot and try things out.