[U-Boot-Users] AT91 Header File Clarification