This patch replace the previous implementation with this simplified and
more complete version (no shutdown when psret == 1).
Signed-off-by: NFabien Chouteau <chouteau@adacore.com>
Signed-off-by: NBlue Swirl <blauwirbel@gmail.com>