You could, as I have already provided in Core, by using the TZ boot code and the getTime.sh script, the command hwclock to set your BIOS time.
Since you have chosen instead to use an extension to set the time, you still could call hwclock to write the time to BIOS. See hwclock --help