How to you change the BIOS time settings in a Xen HVM fully virtualized guest virtual machine? Right now the BIOS time setting seems to be 3007 as year instead of 2007 which leads to funny problems after the os boots.