Corebook X i5 1235 16GB

Is it the correct bios for the laptop described here: Corebook X. Latest driver/bios 1235u/ 16g ddr5 - #2 by ChuwiSpainSupport

And: JCorBXIW4H230400001-JCorBXIW4H230400700 ?