Update notes for submitted changes

* ARM: be strict about FP exceptions in kernel mode