Re: [PATCH] entry: Fix boot for !CONFIG_GENERIC_ENTRY