rockchip: spl: rk3399: implement chip-specific board_spl_was_booted_from()