tegra_read_straps
randomness[1] = tegra_read_straps();
u32 straps = tegra_read_straps();
u32 tegra_read_straps(void);