Fix priority handling. The interrupt priority registers expose the full range
of priorities available in secure mode (minimally 32). For non-secure
interrupts we need to make sure the top bit is set and shift our interrupt
priority level into the remaining bits. The priority mask register on the
other hand only exposes the priority levels available to the mode from which
it is accessed. So when accessed from non-secure mode, we need to shift our
interrupt priority level by a different amount.
Also set the binary point register to zero to make sure the maximum number of
available bits are used for the priority group and priority masking actually
works as expected.
This makes the FireFly-RK3399 boot multi-user with the root filesystem on USB.
ok drahn@