>> Так вот, у процессора максимальный "тип" данных это байт.

Нет, не обязательно. И уже достаточно давно. Это для компилятора минимальный тип данных. Подсказывать не буду, сами думайте, раз умничаете.

>> sizeof не может работать в рантайме

Он именно в рантайме и работает. А вот на этапе препроцессора его очень сложно заставить работать. Но разработчики ядра нашли одну "фичу" и могу сделать assert на размер типа данных. Этим применение в препроцессоре и ограничивается. В моём случае применение sizeof требовалось пару раз для определения размера типа переменной.  Зачем уже не вспомню, давно было. Возможно, для определения double ли был передан  или float в unit-тестах, кажется.

Ну а так, немного магии:
void abc(int size)
{
    volatile int buf[size]; // volatile - на случай, если вы какой-нибудь там -O3 используете, чтоб препроцессор не спихнули
    printf("%zu\n", sizeof(buf));
}