rockchip: dts: rk3399-puma: fix the modelling of BIOS_DISABLE