/* Dummy header for u-boot */