Now that RISC-V 32-bit (RV32) support has been merged into mainline glibc, we can use the Linux 5.4 kernel. Signed-off-by: Alistair Francis <alistair.francis@wdc.com> Signed-off-by: Thomas Petazzoni <thomas.petazzoni@bootlin.com>