Fixed issue with empty t_user2regs/t_regs2user VHDL records