PDP11: Added formatted register display for HK and RK devices