K 10 svn:author V 2 br K 8 svn:date V 27 2015-02-13T11:13:08.624269Z K 7 svn:log V 288 o Correct the calculation how many pages we need o Ensure we use correct bank for MSK register o Save and restore current bank in interrupt handler o Stop TX watchdog on fatal errors o Use right register for EPH status This fixes operation on ARMv8 Foundation Model Reviewed by: benno@ END