enable wifi gpio

hc

2023-11-07 f45e756958099c35d6afb746df1d40a1c6302cfc

1
2
extern void hp300_sched_init(irq_handler_t vector);
extern u32 hp300_gettimeoffset(void);