davinci: make arch_idle and arch_reset as inline functions