Is it safe to use LCD_DATA8 & LCD_DATA9 as serial pins connected at boot?

I’d like to use pins P8/37 & 38 as UART5 TX and RX, but the serial port will be be wired to RS232 drivers at boot, and I see that those pins are used as SYSBOOT [8…9] latched at PWRONRESET.

I’m booting from the SD card, so it looks like the pins should be don’t care.

I’m wondering if anyone has experience wiring up these pins at boot, whether it has caused any issues for them.