netwinder_reset
static void netwinder_reset(void);
cpu_reset_address_paddr = vtophys((vaddr_t)netwinder_reset);