There is no need to have BOOT_PARAMS_SIZE known outside of atags.c