Not the TI. Version, the Beagleboard version. It just says Beagleboard X15
I bought that one in England, Beagleboard X15 was not available in the USA at the time
[ 0.000000] Booting Linux on physical CPU 0x0
[ 0.000000] Linux version 4.9.69-g89d085d1a4 (michel@michel) (gcc version 6.4.0 (GCC) ) #2 SMP PREEMPT Sun May 20 13:23:56 EDT 2018
[ 0.000000] CPU: ARMv7 Processor [412fc0f2] revision 2 (ARMv7), cr=30c5387d
[ 0.000000] CPU: div instructions available: patching division code
[ 0.000000] CPU: PIPT / VIPT nonaliasing data cache, PIPT instruction cache
[ 0.000000] OF: fdt:Machine model: TI AM5728 BeagleBoard-X15