GPIO interrupt causes kernel panic

Hi, I've found that I can't configure any of the GPIO pins to handle interrupt requests. The following is an example which fails when trying to set Linux GPIO 5 as an IRQ pin:

$ echo 5 > /sys/class/gpio/export
$ cat /sys/class/gpio/gpio5/value
1
$ cat /sys/class/gpio/gpio5/direction
in
$ echo rising > /sys/class/gpio/gpio5/edge
kernel panic

Specs:
Hardware: UP-CHT01
OS: Ubuntu 16.04.5 LTS
Kernel: 4.15.0-37-generic
BIOS: UPC1DM15

Thanks.