# samsung messed up at naming their board. we've fixed it.
# use this fake file so that rommanager still recognizes our device correctly.