`nmi` is not optional

[mole99]

The "nmi" field should be optional, but is required, as can be seen in schema_platform.yaml.

Original issue: riscv-non-isa/riscv-arch-test#279