Error undefined reference to `Serial' in arduino IDE with XIAO nRF52840 Sense

[amunrarara]

I am also encountering this issue. @davekw7x 's recommendation did the trick.