Spot the bug!

  #define MICROPY_HW_ENABLE_RNG (0)
  [...]
  #ifndef MICROPY_HW_ENABLE_RNG
  #error "get a HW TRNG plz"
  #endif