https://gcc.gnu.org/bugzilla/show_bug.cgi?id=119664

--- Comment #5 from Waldemar Brodkorb <wbx at openadk dot org> ---
Hi,

the patch works fine. Resulting kernel boots up fine.

best regards
 Waldemar

Reply via email to