Changing kernel message colour when using vt(4)

After rebasing ElectroBSD from stable/12 to stable/13
kernel messages no longer appear green in the console.

Reading UPDATING I've come to the conclusion
that this is due to the change from sc to vt.

Green kernel messages used to be enabled with the line:

options		SC_KERNEL_CONS_ATTR=(FG_GREEN|BG_BLACK)

in the kernel configuration.

According to vt(4) the kernel message colour is now
supposed to be controlled with a line like:

options		TERMINAL_KERN_ATTR=(FG_LIGHTRED|BG_BLACK)

After adding the line I still get white kernel messages,
though.

I also tried changing TERMINAL_KERN_ATTR in sys/sys/terminal.h:

--- a/sys/sys/terminal.h
+++ b/sys/sys/terminal.h
@@ -136,7 +136,7 @@ typedef teken_color_t term_color_t;
 #ifdef SC_KERNEL_CONS_ATTR
 #define    TERMINAL_KERN_ATTR  SC_KERNEL_CONS_ATTR
 #else
-#define    TERMINAL_KERN_ATTR  (FG_WHITE | BG_BLACK)
+#define    TERMINAL_KERN_ATTR  (FG_GREEN | BG_BLACK)
 #endif
 #endif

but this doesn't seem to have a noticeable affect either.

Has anyone already figured out how to change the kernel
message colour on stable/13 when using vt(4)?

Fabian