[coreboot-gerrit] Change in coreboot[master]: soc/rockchip/rk3288/include/soc: Add missing include <types.h>