"drivers/console/aarch32/deprecated_console.S" did not exist on "9400b40ea4c71153a63c1f1cdaa416d45a325ec5"